alt-ergo 0.93-2 source package in Debian
Changelog
alt-ergo (0.93-2) unstable; urgency=low * Add patch to fix FTBFS on bytecode architectures. - 0004-Add-rules-and-targets-for-gui.byte.patch -- Mehdi Dogguy <email address hidden> Sat, 16 Apr 2011 00:47:04 +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.93-2.dsc | 1.7 KiB | c1f32e9dcb20af231e7ac02006459b9c30da2c96a34d3e8df21a9487926c5a50 |
| alt-ergo_0.93.orig.tar.gz | 174.6 KiB | 2c457a6d6bed82ae8219d33e7988e3196da74420d96efa15c4eeddffd6130d80 |
| alt-ergo_0.93-2.diff.gz | 11.2 KiB | 2be812de9fbb3a54d4dad898e6b746b7bb319bf53683f1bae42039f2cfaf50aa |
No changes file available.
