| package | filename | size | different function |
|---|---|---|---|
| coqide | ./usr/share/doc/coqide/changelog.Debian.amd64.gz | 236 B | |
| libcoq-core-ocaml | ./usr/share/doc/libcoq-core-ocaml/changelog.Debian.amd64.gz | 236 B | |
| libcoq-stdlib | ./usr/share/doc/libcoq-stdlib/changelog.Debian.amd64.gz | 236 B | |
| libcoq-core-ocaml-dev | ./usr/share/doc/libcoq-core-ocaml-dev/changelog.Debian.amd64.gz | 236 B | |
| coq | ./usr/share/doc/coq/changelog.Debian.amd64.gz | 236 B |