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

summary refs log tree commit diff

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

blob: 0a5ac1c7bb9dcc0d508f3ab61a91c2e8746af268 (plain)

1	`e4282ea99c664d8d58067bee199cbbcf881b60d5`