blob: 6a7dfb65ee40129a9f653a6e9101f7779e52831f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
AUX 50proofgeneral-gentoo.el 150 RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 SHA1 4f3fa87e00711d88458da71f7e61fd86e88a5c42 SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb
MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 files/50proofgeneral-gentoo.el 150
SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb files/50proofgeneral-gentoo.el 150
AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1
MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b
EBUILD proofgeneral-3.5-r1.ebuild 1439 RMD160 dc29a99797dd012548ea10553fddad4df5a95628 SHA1 caad4fe298030eac26726b5de92729566e086f4b SHA256 2dbab003dd4a16c91a271736ebe71012b704f90d8a7a37fc9d093be993053a4b
MD5 816151fa5b9d22490c201269eef4b3b9 proofgeneral-3.5-r1.ebuild 1439
RMD160 dc29a99797dd012548ea10553fddad4df5a95628 proofgeneral-3.5-r1.ebuild 1439
SHA256 2dbab003dd4a16c91a271736ebe71012b704f90d8a7a37fc9d093be993053a4b proofgeneral-3.5-r1.ebuild 1439
EBUILD proofgeneral-3.5.ebuild 1327 RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 SHA1 b3b3a6cc1d3ecc0d9f9fc418398a76b21375a241 SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68
MD5 7f3f9115917195da81324382993ac07f proofgeneral-3.5.ebuild 1327
RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 proofgeneral-3.5.ebuild 1327
SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68 proofgeneral-3.5.ebuild 1327
MISC ChangeLog 1715 RMD160 8275b613bd35673ed2ecf938660e51d72f3732a2 SHA1 fdba95c19ce07baa3574f7c8e225fd10e99cfe2b SHA256 6cfc550117eeb37a606acdca18a33ff8a009e11dd665219c8c053e91f0a84b21
MD5 9fe98d587c0839428bec9cd3664c9869 ChangeLog 1715
RMD160 8275b613bd35673ed2ecf938660e51d72f3732a2 ChangeLog 1715
SHA256 6cfc550117eeb37a606acdca18a33ff8a009e11dd665219c8c053e91f0a84b21 ChangeLog 1715
MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158
SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab metadata.xml 158
MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5 253
RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5 253
SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5 253
MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5-r1 253
RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5-r1 253
SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5-r1 253
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.1 (GNU/Linux)
iD8DBQFFvCi16J2i8a8J4okRAj0NAJ0cuCvkDL3P2WaWN67yyxRLNsnwVQCgiXFn
d4LIOUGZVsHUecw6DaHEegY=
=cIf/
-----END PGP SIGNATURE-----
|
GitWeb
