0e3d5eac23416ec75dd59fabdcc1367c  Coq-RecTutorial.pdf.gz
127760a6d9b9bcd213cdd58ab191a363  Coq-Library-8.2.pdf.gz
b97ab411eb3288ded1d9f8c27e308115  Coq-Reference-Manual-8.2.pdf.gz
29b7e61e742b17c904739f546223f2e0  Coq-Tutorial-8.2.pdf.gz
6907d97342e7b547e2e6d905a474235d  coq-8.2-1.tar.gz
cc0005c859cbfd574f22242ec9557dc5  coq-refman-html-8.2.tar.gz
9ff70e125ba31d53b866b8b322031ac6  coq-stdlib-html-8.2.tar.gz