alt-ergo 1.01-1 source package in Debian
Changelog
alt-ergo (1.01-1) unstable; urgency=medium
* new upstream version. Refreshed patches.
* debian/watch: version 4. Add option pgpsigurlmangle.
* standards-version 3.9.7 (no change)
* bump version of build-dependency ocaml, according to upstream install
instructions.
-- Ralf Treinen <email address hidden> Tue, 01 Mar 2016 21:17:13 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| alt-ergo_1.01-1.dsc | 2.1 KiB | f7e7c9f10ab9b7273912572a019d4bb809653d5f18a6fc0e252dc74799bcf7f2 |
| alt-ergo_1.01.orig.tar.gz | 221.4 KiB | 5101d7f9087b35806b1db05e5e82bc8334e69d1147d7cda04abad0e771d0def8 |
| alt-ergo_1.01-1.debian.tar.xz | 12.9 KiB | 723b11e9ec9eb10f5358a638378b5d0296bf58b8f32110de4d965327c67609ca |
Available diffs
No changes file available.
