coq-theories.install.in « debian - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/debian/coq-theories.install.in

blob: bc6ad738be15cf665975c04f76a66ea51f65e771 (plain)

1
2
3

doc/stdlib/html usr/share/doc/coq-theories/
usr/lib/coq/states/initial.coq
# *.vo files will be added here