Package "libssreflect-coq"

Name:	libssreflect-coq
Description:	small scale reflection library for Coq (theories)
Latest version:	1.3pl2-2build1
Release:	precise (12.04)
Level:	base
Repository:	universe
Head package:	ssreflect
Homepage:	http://www.msr-inria.inria.fr/Projects/math-components

Links

Raw Package Information

All versions of this package

List of files in package

Repository home page

Download "libssreflect-coq"

All arch deb package

APT INSTALL

Other versions of "libssreflect-coq" in Precise

No other version of this package is available in the Precise release.

Changelog

Version: DELETED	2012-03-06 11:33:29 UTC
No changelog for deleted or moved packages.

Version: 1.3pl2-2build1	2012-01-08 17:05:26 UTC
`ssreflect (1.3pl2-2build1) precise; urgency=low * Rebuild against new Coq -- Andreas Moog Sun, 08 Jan 2012 16:10:20 +0100`
Source diff to previous version

Version: 1.3pl2-2	2012-01-08 05:03:03 UTC
`ssreflect (1.3pl2-2) unstable; urgency=low * Rebuild with Coq 8.3pl3 - cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3 -- Stéphane Glondu Sun, 25 Dec 2011 17:28:19 +0100`

Version: DELETED	2011-12-18 14:48:52 UTC
No changelog for deleted or moved packages.

About - Send Feedback to @ubuntu_updates