| package | filename | size | different function |
|---|---|---|---|
| libcoq-serapi-ocaml | ./usr/share/doc/libcoq-serapi-ocaml/copyright | 22.4 KB | |
| libcoq-serapi-ocaml-dev | ./usr/share/doc/libcoq-serapi-ocaml-dev/copyright | 22.4 KB | |
| coq-serapi | ./usr/share/doc/coq-serapi/copyright | 22.4 KB |