diff options
author | Andreas K. Huettel (dilfridge) <mail@akhuettel.de> | 2012-01-14 15:20:31 +0100 |
---|---|---|
committer | Andreas K. Huettel (dilfridge) <mail@akhuettel.de> | 2012-01-14 15:20:31 +0100 |
commit | ac7b80809d0be79d8e0d08354fd707b8566036a2 (patch) | |
tree | fb38f4fda9e4bf4bdd22e7cbff58a5b19da2d261 /dev-ml/ocamlgraph | |
parent | Removed because the sources cannot be fetched (diff) | |
download | sci-ac7b80809d0be79d8e0d08354fd707b8566036a2.tar.gz sci-ac7b80809d0be79d8e0d08354fd707b8566036a2.tar.bz2 sci-ac7b80809d0be79d8e0d08354fd707b8566036a2.zip |
Convert to thin manifests (as suggested by alexxy and jlec)
Diffstat (limited to 'dev-ml/ocamlgraph')
-rw-r--r-- | dev-ml/ocamlgraph/Manifest | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-ml/ocamlgraph/Manifest b/dev-ml/ocamlgraph/Manifest index 838fb41ab..ec93d3815 100644 --- a/dev-ml/ocamlgraph/Manifest +++ b/dev-ml/ocamlgraph/Manifest @@ -1,15 +1 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - -AUX ocamlgraph-makefile.patch 1564 RMD160 f1a4949963658165492b67d456ff57b40af1608e SHA1 963e31c341579f9417eb46dd61a6851d7c27d3dd SHA256 c36612f740033a3d158f5d2a458697b1a41dacf2d1964484c1fd0c0f39fd276b DIST ocamlgraph-1.7.tar.gz 236906 RMD160 5006095e66f5f552b187a1b37b760dbaae88bd0e SHA1 fb15adbcdc5d258b733eec32a69f9db0c2f7581d SHA256 ec5e79a441ea575b50c9301824917e82738ed712a9e5bcf4aa6bea018eff60c6 -EBUILD ocamlgraph-1.7.ebuild 946 RMD160 9099cbe28ec43ac93867284cc0f41b626371e729 SHA1 4e2c003202aca2d63771e295a0723980c41d8d5f SHA256 c9b4f1f9bb65817d9e946ae1c5c2c5d129d87a14ed73d7743bfd9d829ec6631f -MISC ChangeLog 820 RMD160 4a3a571fcaa89d18eb07427ba30c339c60168771 SHA1 b395e312ae1bd1c0385d09d2396aee235937ebf0 SHA256 a900532779edacd3ef37637fd0922e677c7827cec5a28fec2b068fd97da98c2d -MISC metadata.xml 1387 RMD160 8fc86d9fb0b1ae585c9ed9c8cca5a47416ea1a2c SHA1 654c9811c01e785f5a6c3ea31a5a15c0f90f3634 SHA256 2a242778c24a7fb97cce396194c7e5813d1cb9f9a12f3d00a1fc8bdfad988cbf ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.17 (GNU/Linux) - -iEYEARECAAYFAk4EfxwACgkQgAnW8HDreRYgJACguE7X9LjDF29Y3MyOq2mnlLJ6 -TOYAn3AjEcO3ToZ5koukm+cSTVPj4y8w -=OqPu ------END PGP SIGNATURE----- |