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

coq - 8.20.1+dfsg-1 main

Versions in landing: 8.20.1+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

Version 8.20.1+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 amd64 arm64
libcoq-stdlib amd64 arm64
libcoq-core-ocaml-dev 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.1+dfsg-1.dsc	2.6 kB	`23e3c9cd7c3d378802d33189e7dad2c10ce0b139d11810ea7c64a69de2e7162f`
coq_8.20.1+dfsg.orig.tar.xz	5.0 MB	`333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5`
coq_8.20.1+dfsg-1.debian.tar.xz	30.2 kB	`76492553809925964587b94a2075cb576d1f40533eca246ff822d9be1ec582be`