blob: 9ef1009739333f178f217eb6579f33a85d513145 (
plain)
1
2
3
4
5
6
|
AUX set-booksdir.patch 591 RMD160 a4775c520b3756e8b33de8bc38b54e4873c57a39 SHA1 37ccf5718c75a6e4f45fdbfe8876ec8acf625e5b SHA256 2b6e65de0d25705444f6d75dc2e8658433bd79d5c180026da34b230bf9808bea
DIST acl2.tar.gz 11699557 RMD160 622dbef91b3af8d75a99cc482ca240a20cc8af0a SHA1 75c24b3fc6b1ca0e7a4163fd47088eca3b0c1104 SHA256 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077
EBUILD acl2-4.2.ebuild 1146 RMD160 28e3c9501699fa1762d85d4bca4cafa3abf7c817 SHA1 f92b0fbdba8fc28fdc017059dce601aba6f7bf94 SHA256 e1b6bffb596791dc65de391f32a5f984cc409fd95ed743430df990d7439e85b6
EBUILD acl2-4.3.ebuild 1146 RMD160 28e3c9501699fa1762d85d4bca4cafa3abf7c817 SHA1 f92b0fbdba8fc28fdc017059dce601aba6f7bf94 SHA256 e1b6bffb596791dc65de391f32a5f984cc409fd95ed743430df990d7439e85b6
MISC ChangeLog 774 RMD160 23322f4294b09eacdc3e13881e98fcb7b694235b SHA1 9e38abfb9b954d399adf21f495baeef45c634a46 SHA256 6b6fe3a1a08925212d7054308d1ff680100eab092c0cde3604a79d029d6dd589
MISC metadata.xml 612 RMD160 9d44f83d154bbf009f0aa7db5276c96ac10a9dcc SHA1 7e6a0af32a030122de73bd17fc141eaf01033480 SHA256 0099ce373876659f268c0290ca85ac0cc33a1dc490b4e5d13a7dd45237dc9b4d
|
GitWeb
