eprover - 2.6+ds-3 main

Versions in crimson: 2.6+ds-3
Maintainer: Debian Math Team <team+math [꩜] tracker.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
eprover_2.6+ds-3.dsc 1.9 kB c6f48c665f2390894aae0c28465094354100456cc82a9700f1efcf9bb7631c26
eprover_2.6+ds.orig.tar.xz 1.1 MB 469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245
eprover_2.6+ds-3.debian.tar.xz 10.2 kB 3bb6442dfe021e3a47ce1baa2864d27ca2b366d7a2580a773df1e08134900e52