coq 8.1.pl3+dfsg-1 source package in Debian
Changelog
coq (8.1.pl3+dfsg-1) unstable; urgency=low [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir [ Samuel Mimram ] * New upstream release. * Makefile should now be compatible with dash, closes: #459050. * Updated watch file. -- Samuel Mimram <email address hidden> Fri, 04 Jan 2008 13:21:43 +0000
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Lenny
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Lenny | release | main | math |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.1.pl3+dfsg-1.dsc | 1.0 KiB | eabc55d6d7b7dfcbf48dcfad50a3f16359d5301e3d6c99adc239e788e99c5c32 |
coq_8.1.pl3+dfsg.orig.tar.gz | 2.4 MiB | 2f306047222e424cad5916f6f57cd21661f22a523afc26dbdcc2cb4d20775dbb |
coq_8.1.pl3+dfsg-1.diff.gz | 15.2 KiB | 8ddef42ac6cb4a4141c673142e37fdd2a7a9dedba6c7e4173512bacde635a17f |
No changes file available.