coq-theories.links « debian - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/debian/coq-theories.links

blob: a270565bd7f14d1f4f2ef3ec3e54f4db7da2122c (plain)

1 2	`/usr/share/doc/coq-theories/html /usr/share/doc/coq/stdlib-html /usr/lib/coq/tools/coqdoc/coqdoc.css /usr/share/doc/coq-theories/html/`