Source package coq/8.20.0+dfsg-1 in landing @ pureos - PureOS Software

coq - 8.20.0+dfsg-1 main

Versions in landing: 8.20.0+dfsg-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:

Benjamin Barenblat <bbaren [꩜] debian.org>
Julien Puydt <jpuydt [꩜] debian.org>
Ralf Treinen <treinen [꩜] debian.org>
Stéphane Glondu <glondu [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any

This package may currently be unbuildable on the following architectures:

arm64
amd64

Version 8.20.0+dfsg-1 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

coq amd64 arm64
coqide amd64 arm64
libcoq-core-ocaml-dev amd64 arm64
libcoq-core-ocaml amd64 arm64
libcoq-stdlib amd64 arm64

Build Dependencies

debhelper-compat (= 13)
dh-coq
dh-exec
dh-ocaml
dh-python
ocaml-dune
ocaml
ocaml-native-compilers
ocaml-findlib (>= 1.8.0)
libfindlib-ocaml-dev
liblablgtk3-ocaml-dev
liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)
libnum-ocaml-dev
libounit-ocaml-dev
libzarith-ocaml-dev
python3
rsync
tex-common

Files

Filename	Size	Checksum (SHA256)
coq_8.20.0+dfsg-1.dsc	2.6 kB	`755360f8b920f34d644458666cff717e7156fb9d306d9f2c95fb78c4f6239d0a`
coq_8.20.0+dfsg.orig.tar.xz	5.0 MB	`6c0f7bcf705a4c62a11a8445326949587606c5e4bb32582dcf5c3fc5478677bb`
coq_8.20.0+dfsg-1.debian.tar.xz	30.2 kB	`22b28f6091524c62709bbf7e008dc2a4d4eaf24bf926c577f37a1b9677864ba2`