Ubuntu
coq package

  1. Bug #1868106
  2. Comment #2

Comment 2 for bug 1868106

Revision history for this message
Steve Langasek (vorlon) wrote :

Removing packages from focal:
 libaac-tactics-ocaml 8.9.0-1 in focal armhf
 libaac-tactics-ocaml 8.9.0-1 in focal s390x
 libaac-tactics-ocaml-dev 8.9.0-1 in focal armhf
 libaac-tactics-ocaml-dev 8.9.0-1 in focal s390x
Comment: ANAIS
4 packages successfully removed.
Removing packages from focal-proposed:
 libaac-tactics-ocaml 8.9.0-1build1 in focal armhf
 libaac-tactics-ocaml 8.9.0-1build1 in focal s390x
 libaac-tactics-ocaml-dev 8.9.0-1build1 in focal armhf
 libaac-tactics-ocaml-dev 8.9.0-1build1 in focal s390x
Comment: ANAIS
4 packages successfully removed.