| package | filename | size | different function |
|---|---|---|---|
| coq | ./usr/share/doc/coq/copyright | 6.8 KB | |
| libcoq-core | ./usr/share/doc/libcoq-core/copyright | 6.8 KB | |
| libcoq-core-ocaml | ./usr/share/doc/libcoq-core-ocaml/copyright | 6.8 KB | |
| libcoq-core-ocaml-dev | ./usr/share/doc/libcoq-core-ocaml-dev/copyright | 6.8 KB | |
| rocqide | ./usr/share/doc/rocqide/copyright | 6.8 KB |