all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-corn (8.16.0-2)

Links for coq-corn

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-corn
Coq Constructive Repository at Nijmegen

Other Packages Related to coq-corn

  • build-depends
  • build-depends-indep

Download coq-corn

FileSize (in kB)MD5 checksum
coq-corn_8.16.0-2.dsc 2.0 kB be8289450a0cf0239efab125f8b40950
coq-corn_8.16.0.orig.tar.gz 1,288.7 kB 01611ef0545afd98db04fc7c65cb75c3
coq-corn_8.16.0-2.debian.tar.xz 3.8 kB c82bc5369b06d107faadfd5fb6ffc0a0
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-corn.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-corn