| package | filename | size | different function |
|---|---|---|---|
| libcoq-serapi-ocaml | ./usr/share/doc/libcoq-serapi-ocaml/changelog.gz | 6.4 KB | |
| libcoq-serapi-ocaml-dev | ./usr/share/doc/libcoq-serapi-ocaml-dev/changelog.gz | 6.4 KB | |
| coq-serapi | ./usr/share/doc/coq-serapi/changelog.gz | 6.4 KB |