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

summary refs log tree commit diff

path: root/coq_8.3~rc1+dfsg.orig.tar.gz.id

blob: 3ae3f981587479e15954582877556da406725460 (plain)

1	`f18e6146f4fd6ed5b8ded10a3e602f5f64f919f4`