paramcoq - 1.1.3+coq8.16-3 main

Versions in crimson: 1.1.3+coq8.16-3
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)
paramcoq_1.1.3+coq8.16-3.dsc 2.1 kB b326b9fdec74b3bfca14eafd012fab30e48229b15490ba68fcf78b212ba9ae7a
paramcoq_1.1.3+coq8.16.orig.tar.gz 45.7 kB 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab
paramcoq_1.1.3+coq8.16-3.debian.tar.xz 2.9 kB 9ec04701349949d05dea866e92474a8009554376275e30793b87179a5c5623cc