diff options
| -rw-r--r-- | dev-ml/extlib/Manifest | 26 | ||||
| -rw-r--r-- | dev-ml/extlib/files/digest-extlib-1.4 | 2 | ||||
| -rw-r--r-- | dev-ml/extlib/files/digest-extlib-1.5 | 3 | ||||
| -rw-r--r-- | dev-ml/extlib/files/extlib-1.5-ExtList.remove.patch | 12 |
4 files changed, 42 insertions, 1 deletions
diff --git a/dev-ml/extlib/Manifest b/dev-ml/extlib/Manifest index 4b648cf54d05..64c8efcd44b8 100644 --- a/dev-ml/extlib/Manifest +++ b/dev-ml/extlib/Manifest @@ -1,4 +1,28 @@ +AUX extlib-1.5-ExtList.remove.patch 363 RMD160 47d624f59778de1796a027b926277250484f9baa SHA1 2720fdcbfc0abf6e516ba1d174c324ae005a1d7d SHA256 44aa5c3b909948a9087fde3eeb60d870d900b3cf00b6efb71039abe2d96faf3b +MD5 b64934b1760f2fa3cddc198dc6de7f50 files/extlib-1.5-ExtList.remove.patch 363 +RMD160 47d624f59778de1796a027b926277250484f9baa files/extlib-1.5-ExtList.remove.patch 363 +SHA256 44aa5c3b909948a9087fde3eeb60d870d900b3cf00b6efb71039abe2d96faf3b files/extlib-1.5-ExtList.remove.patch 363 +DIST extlib-1.4.tgz 66204 RMD160 6841bbdd2244894df18bd00192a6526301d0ef6d SHA1 9209aaf2021f387cc2261506b3c9e5f19de3415c SHA256 5a70711912e7047b09522989bb0f04f048683051d1157e7b8188aadc1581faa5 +DIST extlib-1.5.tar.gz 65853 RMD160 9fc5b76db2549d913028fe8f3f0e37306b7cd4d5 SHA1 04d52f922fbecd3e6a693ef2e50af21adb53c1a1 SHA256 988b3ad5d04db0b8622fe9aa32032d09d3fab3c2f8f8e01b61777a6e057e64df +EBUILD extlib-1.4.ebuild 704 RMD160 213354c2a64e8c3f4a53c1b943bc7cf724ec0509 SHA1 9acca1b2b0f3ddfdeeb18e3043bb6364a17d608e SHA256 0edd8111ae33123b10b5367c0b8987ac1eaf8d024ee04a26bace4a5815feead5 MD5 173cf5e775c1744c4fd54f2854f11ece extlib-1.4.ebuild 704 +RMD160 213354c2a64e8c3f4a53c1b943bc7cf724ec0509 extlib-1.4.ebuild 704 +SHA256 0edd8111ae33123b10b5367c0b8987ac1eaf8d024ee04a26bace4a5815feead5 extlib-1.4.ebuild 704 +EBUILD extlib-1.5.ebuild 803 RMD160 982ce86462a43bfc8d4ed2bb3d5b149138bbcd3b SHA1 04172461063245c2f416b3eb57997620b9097b0d SHA256 dfef940ec7b13135dcf3a15df607ac39ddcfc5889470d89b5013dfb6364f8776 +MD5 2972e8234db59124ed9dedea43159aaa extlib-1.5.ebuild 803 +RMD160 982ce86462a43bfc8d4ed2bb3d5b149138bbcd3b extlib-1.5.ebuild 803 +SHA256 dfef940ec7b13135dcf3a15df607ac39ddcfc5889470d89b5013dfb6364f8776 extlib-1.5.ebuild 803 +MISC ChangeLog 800 RMD160 6167c3c852dbceb6b14e6b4d0c4139a0e372593e SHA1 584ceffbea4886c8812401934d0b15e18d2c5d3f SHA256 73055f35852bb822742bd4081d6f9aa278b314c2dd87fcfad87a5b5caa7efda0 MD5 cc52e4e33c19d17107d313d9fb3e4f76 ChangeLog 800 +RMD160 6167c3c852dbceb6b14e6b4d0c4139a0e372593e ChangeLog 800 +SHA256 73055f35852bb822742bd4081d6f9aa278b314c2dd87fcfad87a5b5caa7efda0 ChangeLog 800 +MISC metadata.xml 155 RMD160 dfaa057e679b01302a807c75a32a910098b26809 SHA1 94024f83dcacbb53e92be090dd0f994ec93dc90d SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 MD5 8b350f19c06fcabf1053b0421b7c3f5a metadata.xml 155 -MD5 1505b24456af0782c27412ac31667415 files/digest-extlib-1.4 58 +RMD160 dfaa057e679b01302a807c75a32a910098b26809 metadata.xml 155 +SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 metadata.xml 155 +MD5 51cf74a657ccc88b19d3a9e9d4577dec files/digest-extlib-1.4 220 +RMD160 e65368a0fb2a0f14c6edebc37934bfdcc0944b70 files/digest-extlib-1.4 220 +SHA256 c28f927024cd0305b03ca63a74fb56b7e0cd2ead3487c874bdad943144f52c8e files/digest-extlib-1.4 220 +MD5 1a5cd6a33602351ba5736171356a4301 files/digest-extlib-1.5 229 +RMD160 fc23cc1dafbcb46d5d50ed8f44b38dbf4e0c2c1e files/digest-extlib-1.5 229 +SHA256 50a517414afba5af10cd868e1778411453e8598f62da9bcafeebbced8cc9c115 files/digest-extlib-1.5 229 diff --git a/dev-ml/extlib/files/digest-extlib-1.4 b/dev-ml/extlib/files/digest-extlib-1.4 index 339190a2bb8b..6d10e2afcd43 100644 --- a/dev-ml/extlib/files/digest-extlib-1.4 +++ b/dev-ml/extlib/files/digest-extlib-1.4 @@ -1 +1,3 @@ MD5 d53cf08e13e5b9487035bcc8af1165f2 extlib-1.4.tgz 66204 +RMD160 6841bbdd2244894df18bd00192a6526301d0ef6d extlib-1.4.tgz 66204 +SHA256 5a70711912e7047b09522989bb0f04f048683051d1157e7b8188aadc1581faa5 extlib-1.4.tgz 66204 diff --git a/dev-ml/extlib/files/digest-extlib-1.5 b/dev-ml/extlib/files/digest-extlib-1.5 new file mode 100644 index 000000000000..232579eeac6b --- /dev/null +++ b/dev-ml/extlib/files/digest-extlib-1.5 @@ -0,0 +1,3 @@ +MD5 17808ae18d6b6e40637f0df8561583e8 extlib-1.5.tar.gz 65853 +RMD160 9fc5b76db2549d913028fe8f3f0e37306b7cd4d5 extlib-1.5.tar.gz 65853 +SHA256 988b3ad5d04db0b8622fe9aa32032d09d3fab3c2f8f8e01b61777a6e057e64df extlib-1.5.tar.gz 65853 diff --git a/dev-ml/extlib/files/extlib-1.5-ExtList.remove.patch b/dev-ml/extlib/files/extlib-1.5-ExtList.remove.patch new file mode 100644 index 000000000000..fee95cfc04d5 --- /dev/null +++ b/dev-ml/extlib/files/extlib-1.5-ExtList.remove.patch @@ -0,0 +1,12 @@ +diff -ur extlib-1.5/extList.ml extlib-1.5.patched/extList.ml +--- extlib-1.5/extList.ml 2006-01-29 11:03:39.000000000 +0100 ++++ extlib-1.5.patched/extList.ml 2006-07-21 20:08:08.000000000 +0200 +@@ -431,7 +431,7 @@ +
+ let remove l x =
+ let rec loop dst = function
+- | [] -> raise Not_found
++ | [] -> ()
+ | h :: t ->
+ if x = h then
+ dst.tl <- t
|