Source package coqprime/8.15-2 in crimson @ pureos - PureOS Software

coqprime - 8.15-2 main

Versions in crimson: 8.15-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

libcoq-coqprime amd64 arm64
coqprime-tools amd64 arm64

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coqprime_8.15-2.dsc	2.1 kB	`af4b16aa2bcb8280e8974fe83471b0b228297c984542317dd848ccf07614732c`
coqprime_8.15.orig.tar.gz	987.2 kB	`36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1`
coqprime_8.15-2.debian.tar.xz	3.6 kB	`b9a7d07e3cad92bef068d73c2689745796326c7b9237ff2c38e123975d588003`