alt-ergo 0.99.1+dfsg1-4 source package in Debian
Changelog
alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low * debian/patches/series: add missing newline * debian/control: XS-Testsuite => Testsuite * debian/control: drop duplicated Section * debian/control: canonical URI in VCS fields * debian/copyright: Makefile.in => Makefile.configurable.in -- Ralf Treinen <email address hidden> Tue, 26 May 2015 21:56:56 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_0.99.1+dfsg1-4.dsc | 2.2 KiB | 7596f6cf7b057106d9170660da83465a9d05bc257a4e7ac98921dfd309a1c399 |
alt-ergo_0.99.1+dfsg1.orig.tar.gz | 217.7 KiB | 8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f |
alt-ergo_0.99.1+dfsg1-4.debian.tar.xz | 12.3 KiB | 75248d0feecb549cdc9570fd850e30012ad6b4b557a86f8ba85491e14028969d |
Available diffs
- diff from 0.99.1+dfsg1-3 to 0.99.1+dfsg1-4 (922 bytes)
No changes file available.