Source package paramcoq/1.1.3+coq8.20-1 in landing @ pureos

paramcoq - 1.1.3+coq8.20-1 main

Versions in landing: 1.1.3+coq8.20-1, 1.1.3+coq8.19-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.2
Architectures: any

Homepage Build Jobs VCS Browser

Owned Binaries

libcoq-paramcoq amd64 arm64

Build Dependencies

coq
debhelper-compat (= 13)
dh-coq
dh-ocaml
libcoq-core-ocaml-dev
libcoq-stdlib

Files

Filename	Size	Checksum (SHA256)
paramcoq_1.1.3+coq8.20-1.dsc	2.1 kB	`7d45365d28643773cc6219c2dd6d0fe8dfee43f72d1d06214c9bacc682045489`
paramcoq_1.1.3+coq8.20.orig.tar.gz	45.8 kB	`e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1`
paramcoq_1.1.3+coq8.20-1.debian.tar.xz	3.2 kB	`1a3e01e25a34ee9a14ec55e779e4fd09ac57973c64bf10697c1d2d472a8497ce`