coq_8.1+dfsg.orig.tar.gz.id - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/coq_8.1+dfsg.orig.tar.gz.id

blob: ee45768cc48c0d3b1a361ddec019059dda661d5e (plain)

1	`55ce117e8083477593cf1ff2e51a3641c7973830`