Ticket #26928: patch-portfile-coq-8.3.patch

File patch-portfile-coq-8.3.patch, 661 bytes (added by julien@…, 14 years ago)

patch to update to v8.3

Line 
16c6
2< version     8.2pl1
3---
4> version     8.3
521,23c21,23
6< checksums           md5     36eed48bc63ada8abf27f96eb126906c \
7<                     sha1    4aed3302adc2edbaa5d97984512c1c13014bd649 \
8<                     rmd160  dd5758a94bb3de49967cec76baa33eb5169659ce
9---
10> checksums           md5     14b80e6b7075adf1516ab931202be8df \
11>                     sha1    6c6472b6a41429e78d979eacd8ff58bd6f6c9da4 \
12>                     rmd160  9e42266001c0a22b39662be86960a05e454fc2fb
1336,37c36
14< patchfiles         patch-doc-tools-latex_filter.diff \
15<                    patch-tools-coq_makefile.ml4.diff
16---
17> patchfiles         patch-doc-tools-latex_filter.diff