| package | filename | size | different function |
|---|---|---|---|
| libcoq-serapi-ocaml | ./usr/share/doc/libcoq-serapi-ocaml/changelog.Debian.amd64.gz | 248 B | |
| libcoq-serapi-ocaml-dev | ./usr/share/doc/libcoq-serapi-ocaml-dev/changelog.Debian.amd64.gz | 248 B | |
| coq-serapi | ./usr/share/doc/coq-serapi/changelog.Debian.amd64.gz | 248 B |