alt-ergo - 2.0.0-7 main

Versions in byzantium: 2.0.0-7
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Mehdi Dogguy <mehdi [꩜] debian.org>
  • Ralf Treinen <treinen [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.5.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
alt-ergo_2.0.0.orig.tar.gz 353.5 kB bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b
alt-ergo_2.0.0-7.dsc 1.9 kB b88b996dce385531be7c688eb348976aa5cbe4c5b7de39cf8d073e455961aa19
alt-ergo_2.0.0-7.debian.tar.xz 7.1 kB 02f85007d44eef13827c718bbfc09a408a1da22a6a94553fbbdeb451a63f8942