diff options
Diffstat (limited to 'sci-mathematics/gappalib-coq/Manifest')
| -rw-r--r-- | sci-mathematics/gappalib-coq/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest deleted file mode 100644 index aaea09aac..000000000 --- a/sci-mathematics/gappalib-coq/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST gappalib-coq-1.4.6.tar.gz 114284 BLAKE2B 2c1b38b324786f20d7503d1c2243b95b7f8b090068563120669de37ef6cd5dc4fa479b5f3e0559372f4d1fdafa833619191c73780adad45056972108a32e1d1e SHA512 bb9c431d320d9c66998ec02ba7d459ee3f00cb7b16f89e57f3d7eb4b89cd3c9254e98e3906a8dfac31f73e5a32918ad12eaeaf7504750d3bfdce878913b745d3 |