100644 blob e97f4a165f875e1ca3582669fb713a200d097f15	coq-8.4_p5-do-not-install-revision.patch
100644 blob c76f1dea8e118cee5ff673ccb94652f14800fa4a	coq-8.4_p5-hevea.patch
100644 blob ef4b6cf3e824875b8633b68876d88767a7ee14df	coq-8.4_p5-no-clean-before-test.patch
100644 blob 37b05fd114db6440e483196eb16b1c6f8a7b8543	coq-8.5-do-not-install-revision.patch
100644 blob cc8bb54e1ad1f09283a04833891c93ea5a67d540	coqide.desktop