| package | filename | size | different function |
|---|---|---|---|
| libcoq-aac-tactics | ./usr/share/doc/libcoq-aac-tactics/theories/coqdoc.css | 6.0 KB | |
| coq | ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-core/tools/coqdoc/coqdoc.css | 6.0 KB | |
| libcoq-stdlib | ./usr/share/doc/libcoq-stdlib/html/coqdoc.css | 6.0 KB |