Package "ssreflect"

Name:	ssreflect
Description:	This package is just an umbrella for a group of other packages, it has no description. Description samples from packages in group: small scale reflection library for Coq (theories) small scale reflection extension for Coq (plugin) small scale reflection extension for Coq (devt files)
Latest version:	1.3pl2-2build1
Release:	precise (12.04)
Level:	base
Repository:	universe

Links

Raw Package Information

All versions of this package

List of files in package

Repository home page

Other versions of "ssreflect" in Precise

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

Packages in group

Deleted packages are displayed in grey.

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