coq_8.5~beta2+dfsg.orig.tar.gz.id - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/coq_8.5~beta2+dfsg.orig.tar.gz.id

blob: 089036266475dec522be4f3e52b0b5f23d1aaa8f (plain)

1	`12e8931a4a56da1a1bdfb89d670f4ba38fe08e1f`