paramcoq - 1.1.3+coq8.19-1 main

Versions in dawn: 1.1.3+coq8.19-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
paramcoq_1.1.3+coq8.19-1.dsc 2.1 kB 24c7449d798fc6b2201a216f568b4bddea07657f2768654d3ba4e4afdc5c5c61
paramcoq_1.1.3+coq8.19.orig.tar.gz 45.9 kB b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a
paramcoq_1.1.3+coq8.19-1.debian.tar.xz 3.1 kB 374233ceaf8fae65369cb31b260f45f068e479a61e4b2723a564c7f3384e66eb