Admin/components/components.sha1
changeset 57443 577f029fde39
parent 57392 f7a604a2fa63
child 57444 a26c39b95cee
--- a/Admin/components/components.sha1	Mon Jun 30 10:34:28 2014 +0200
+++ b/Admin/components/components.sha1	Mon Jun 30 10:53:37 2014 +0200
@@ -67,6 +67,7 @@
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
+51e1e0f399e934020565b2301358452c0bcc8a5e  ProofGeneral-4.2-2.tar.gz
 8472221c876a430cde325841ce52893328302712  ProofGeneral-4.2.tar.gz
 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b  scala-2.10.0.tar.gz
 f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc  scala-2.10.1.tar.gz