coq-interval - 4.6.1-2 main

Versions in crimson: 4.6.1-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.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)
coq-interval_4.6.1-2.dsc 2.2 kB 4570dd8abe4af0e5824e08f2b4fbb806a76f7294984abea1c537c92175e512bf
coq-interval_4.6.1.orig.tar.bz2 259.5 kB 29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef
coq-interval_4.6.1-2.debian.tar.xz 8.8 kB ff8882a8d2bd92bbbb60e0ed71759d4b052d82566a2693f22ad78baf7cb18f6e