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