alt-ergo 0.95.1-3 source package in Debian
Changelog
alt-ergo (0.95.1-3) unstable; urgency=low
* make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (<<
0.95.1-1) to resolve file conflict with versions of the package before
the split into two binary packages (closes: #718010).
-- Ralf Treinen <email address hidden> Sat, 24 Aug 2013 10:56:21 +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.95.1-3.dsc | 1.5 KiB | 5266a20dcef3303e13554f25166119ebc54274bf90874cabc3bf226fe0d1ba68 |
| alt-ergo_0.95.1.orig.tar.gz | 233.5 KiB | 31818b63ff13b4a0f1b853fe8be75823614433ec0cfddb0ee349af579b41fe10 |
| alt-ergo_0.95.1-3.debian.tar.gz | 14.1 KiB | 8249b0682abb2a6f4a6f75f03545336320ffc493275f8143c5dd24a0474b98e4 |
Available diffs
- diff from 0.95.1-2 to 0.95.1-3 (592 bytes)
No changes file available.
