alt-ergo 0.95.2-2 source package in Debian

Changelog

alt-ergo (0.95.2-2) sid; urgency=medium


  * Port to OCamlgraph 1.8.4 (Closes: #743072)
    - add 0002-Port-to-OCamlgraph-1.8.4.patch

 -- Mehdi Dogguy <email address hidden>  Sun, 30 Mar 2014 23:07:47 +0200

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 Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
alt-ergo_0.95.2-2.dsc 2.2 KiB c389abae790f793dad86be4269097b88bc50e9d42357613e72494aa8a2ed6ff0
alt-ergo_0.95.2.orig.tar.gz 228.3 KiB 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac
alt-ergo_0.95.2-2.debian.tar.xz 11.2 KiB 45295b974e6d2b65e23d2702f1260ed034e50d0b39d3f946522c7b1b4d271b72

No changes file available.

Binary packages built by this source