blob: ea84b5f9fbe6a1fcaafa7005f5537b5cf8391c1d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
AUX coq-8.4_p1-camlp4.patch 594 SHA256 453e8761bc525de0f96c72e43d777dc6e3bf9fdb6ab79fb602793f290ed30aa0 SHA512 1d6ed0ac8e6b321a4d942969076fef46a07de13c4d3e40776af7740182e87d025cef1ad523ce2b5c0c1fd567ef66eabfdbf727ae5729cd68ce85c936bd42d1dd WHIRLPOOL 6103237e90f19ded2e07fa8e279a368f794607591d5258b5fb41ab9a827c99c0cef058877891dfc888726bbc724185c3d548b1a7c2d0684bf69b30f3601ce4e5
AUX coqide.desktop 241 SHA256 4d2fd36d987021fe2f5a546d9c80c78700830931512e6970d44cfbba3dad50e4 SHA512 ee74f41a2684b9dcac099ef58d4d9b498382c4d109277fd2efcd984a2c8e38667040c899c91ebb136b735a8edea48a4a746c12034d280ffaf6bae83c61bd854d WHIRLPOOL d38bf0114b0c285fe18e2a799d41cfe01db8f24bc9deaf88b266160fc32c694914faea01143edc749e0bc67ed47f02ee2338a309947e4ff1fc44dba508f99112
DIST coq-8.3pl1.tar.gz 3756961 SHA256 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928
DIST coq-8.4pl1.tar.gz 4139808 SHA256 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80 SHA512 dc0073d2cbce91ac27749d84de1b350ad71632555a682d8af6612768d2c92311eb1fd36b7370e0fb630d540639a1c7e16f26a9de25d03d82c3a6eefb99aa3420 WHIRLPOOL e912b97ba1f91d3398d569a588d7cb420389c88971847e66ddff38c3fc715e45842aab285e343c0c6339da659f324ee7b60f37fd0cdcd5a8ce27ab0e8cce915a
DIST coq-8.4pl2.tar.gz 4145112 SHA256 fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8 SHA512 151291a508c56f9fdc9efd96096852e94c247724030ad13122ad729476f3f7d4885c9202737d9109b6fa7f58029d3b9e8f472a7e587e0b60a49a0224ac399031 WHIRLPOOL ac338571da5f6efc08e9184f1e13b9783bd750627c70af2eee46116d2d949e61a0cbf31745373ccea3b3b862c1188316c2aa3b38e211a398185503c2844a33c5
EBUILD coq-8.3_p1.ebuild 2142 SHA256 812c6ef68e6cbd4608eec74489e850c8349be6d79901d76f31e4c709be67767b SHA512 17c78f6e06cb5d18605db78ed160c8ba0fcd6255e00d9d9dfb716408e858aab653c2e182ab8b13fe5efc68fb0055d02b9bd4191d01a21dd828f960526cb14e35 WHIRLPOOL 660cf865954a2b464f88117dd55a756931f82e4a828135997b3ebd95512301ec6b6166ad6800cc8a3442c0683bd1c84714f59f4c6ea20ace42f21a94066d436b
EBUILD coq-8.4_p1.ebuild 2109 SHA256 affa89d43b4329e8d64976fe9db0fe00d6fe3ffc84db8e565dea5535d7809ebc SHA512 cfe84a7ab905c4c84e1bf64542191cee74ec3867fe0382c92995d588926aebafb3dddfbd1167bcef4966dbca72661cd1070911956e7fc2016b9295eba7de7f98 WHIRLPOOL 6dba5fbf96c658e6eb8b53551e376fca94a387494716112396fb54a3a4a4d74ebd619e2fffbfecdcdd9f50cbb51228360a65ddbea2e253f6c7d2048067822c03
EBUILD coq-8.4_p2.ebuild 2052 SHA256 5a6cf50d89836d6a82b8207e415b4d9303e3b8339527875ef518add7812b13e7 SHA512 0a7919865b1347fd04e304370ce6e13ade45d14bcc313524eb804dc650740d1e8d33131c132d089c65f66adc28cdd42716ba6afd2f26c1ef993cebb6e71e23c8 WHIRLPOOL 83d2985efd8b3320d038ea2589cfcad4da253a477ab85bdd5b7300e02d25a3b2f23159d8fed59a6d78e496566ef13183b5bd01e03facc2948d8d3044c7e7ffa1
MISC ChangeLog 13242 SHA256 1c2d5ff06edf301a5e65394c5439f7fdab4be53496051de6b11b2ff6da428bbd SHA512 ee46b7419f80e26071966fcef95100a3a01bef9dd29e1d1ac578a80f389f25f941d6a36074a6d5a0e8dfbc98029375c06e413f7b83c32819f9f791f9683802cd WHIRLPOOL 31e00faf6fb1f443b8e61fbdd22b4802e958da556829d09ae3fd457a4f14a36a76526c5efe9aa099a3701005084f38561ccf195ebe294e90683d90b2177faf38
MISC metadata.xml 899 SHA256 e0676f509aac30fee1d2f69dcbb0644d06e8e15d8dcc72295f67ce0d769c032e SHA512 7f203472451d8725a671b3460f68baf03637055cf7eac21197e930bac79d2924a5dc04d8111465afbd47c49def5cb2a12023d2d58855cb319436603387536d61 WHIRLPOOL d5490532c78ab704459b90e0a03547d13f62b058f5aa2e7817e7b13f43745782a1de74bb251108fc2dfe8f73d0b0aefbd1898f5769fc4337b7f0e2991fcad421
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.20 (GNU/Linux)
iEYEAREIAAYFAlISNGgACgkQvFcC4BYPU0rDQgCgjIWSet57lNP/kbBVyWMr11Hb
ieEAn0D/kJzscOV3SZp2y0S0gk5PHS6W
=hZbU
-----END PGP SIGNATURE-----
|
GitWeb
