| package | filename | size | different function |
|---|---|---|---|
| coqide | ./usr/share/doc/coqide/copyright | 8.1 KB | |
| libcoq-core-ocaml | ./usr/share/doc/libcoq-core-ocaml/copyright | 8.1 KB | |
| libcoq-stdlib | ./usr/share/doc/libcoq-stdlib/copyright | 8.1 KB | |
| libcoq-core-ocaml-dev | ./usr/share/doc/libcoq-core-ocaml-dev/copyright | 8.1 KB | |
| coq | ./usr/share/doc/coq/copyright | 8.1 KB |