Ticket #18536: patch.diff

File patch.diff, 377 bytes (added by wss@…, 16 years ago)

Coq 8.2 patch

Line 
16c6
2< version     8.1pl3
3---
4> version     8.2
59a10
6>
720,22c21,23
8<     md5 84311faf7865b2eab964990cdb365dca \
9<     sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e \
10<     rmd160 f8f4749e1014cb47a83915550713cf9ce1992e34
11---
12>     md5 6907d97342e7b547e2e6d905a474235d \
13>     sha1 f34c725f0f5ddef1ee0c14b3934ef6876f08cb7a \
14>     rmd160 f0669aab826fa368dadcb0ffbdd01d1f389797b1