Source package coq-unicoq/1.6-8.19-1 in dawn @ pureos - PureOS Software

coq-unicoq - 1.6-8.19-1 main

Versions in dawn: 1.6-8.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.7.0
Architectures: any

Homepage Build Jobs VCS Browser

Owned Binaries

libcoq-unicoq amd64 arm64

Build Dependencies

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

Files

Filename	Size	Checksum (SHA256)
coq-unicoq_1.6-8.19-1.dsc	2.1 kB	`98b3df66a18b80e1837355f704c4c9541b04bdb459993b52d9af5fb7a17956de`
coq-unicoq_1.6-8.19.orig.tar.gz	593.7 kB	`c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542`
coq-unicoq_1.6-8.19-1.debian.tar.xz	2.6 kB	`d297d553929e693a51206af73e9bb8af86f8ec21786253d59f935606a26754e7`