alt-ergo 0.95.2-3 source package in Ubuntu

Changelog

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


  * Remove previously introduced patch since relevant API change
    has been reverted in OCamlgraph 1.8.5.
    - Remove 0002-Port-to-OCamlgraph-1.8.4.patch
    - Build-Depend on OCamlgraph >= 1.8.5~.

 -- Mehdi Dogguy <email address hidden>  Sun, 27 Apr 2014 21:42:15 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2014-04-28
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
Vivid release on 2014-10-23 universe math

Downloads

File Size SHA-256 Checksum
alt-ergo_0.95.2-3.dsc 2.2 KiB 3b391aeb29611513e828a96089039ed4ae756b898de5e1592da7feafcf214e8e
alt-ergo_0.95.2.orig.tar.gz 228.3 KiB 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac
alt-ergo_0.95.2-3.debian.tar.xz 11.0 KiB 4991ea152a5b95795304295c2641e615fb88feff44afee0b41db252b25ceb27d

No changes file available.

Binary packages built by this source

alt-ergo: No summary available for alt-ergo in ubuntu utopic.

No description available for alt-ergo in ubuntu utopic.

libalt-ergo-ocaml-dev: No summary available for libalt-ergo-ocaml-dev in ubuntu wily.

No description available for libalt-ergo-ocaml-dev in ubuntu wily.