libssreflect-coq.install « debian - ssreflect - Debian dgit repo for package ssreflect

summary refs log tree commit diff

path: root/debian/libssreflect-coq.install

blob: 467fefe9d5b99ab5bd62a7cdeaa101a18b1c246d (plain)

1
2
3

usr/lib/coq/user-contrib/mathcomp/*/*.vo
usr/lib/coq/user-contrib/mathcomp/*/*.v
usr/lib/coq/user-contrib/mathcomp/*/*.glob