coq_8.3~beta0+13298-1_amd64.changes is NEW
coq-theories_8.3~beta0+13298-1_all.deb
to main/c/coq/coq-theories_8.3~beta0+13298-1_all.deb
coq_8.3~beta0+13298-1.debian.tar.gz
to main/c/coq/coq_8.3~beta0+13298-1.debian.tar.gz
coq_8.3~beta0+13298-1.dsc
to main/c/coq/coq_8.3~beta0+13298-1.dsc
coq_8.3~beta0+13298-1_amd64.deb
to main/c/coq/coq_8.3~beta0+13298-1_amd64.deb
coq_8.3~beta0+13298.orig.tar.gz
to main/c/coq/coq_8.3~beta0+13298.orig.tar.gz
coqide_8.3~beta0+13298-1_amd64.deb
to main/c/coq/coqide_8.3~beta0+13298-1_amd64.deb
libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb
(new) libcoq-ocaml_8.3~beta0+13298-1_amd64.deb optional ocaml
runtime libraries for Coq
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides runtime libraries for Coq.
Changes: coq (8.3~beta0+13298-1) experimental; urgency=low
.
* New upstream snapshot
- remove all patches
* Install plugins in new binary package libcoq-ocaml
Override entries for your package:
coq-theories_8.3~beta0+13298-1_all.deb - optional math
coq_8.3~beta0+13298-1.dsc - source math
coq_8.3~beta0+13298-1_amd64.deb - optional math
coqide_8.3~beta0+13298-1_amd64.deb - optional math
libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb - optional ocaml
Announcing to debian-devel-changes@lists.debian.org
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: