summaryrefslogtreecommitdiff
path: root/dev-libs/picosat
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2021-09-20 13:19:27 +0200
committerKarel Kočí <cynerd@email.cz>2021-09-20 13:19:27 +0200
commit964d83037dc8914a6639b108f6297d3edb79567b (patch)
treea32df932a5799c01c252e68b29fd559c4c6f67f7 /dev-libs/picosat
parent618e97d1cc3225127425a6e67f3a52690971dff8 (diff)
downloadgentoo-personal-overlay-964d83037dc8914a6639b108f6297d3edb79567b.tar.gz
gentoo-personal-overlay-964d83037dc8914a6639b108f6297d3edb79567b.tar.bz2
gentoo-personal-overlay-964d83037dc8914a6639b108f6297d3edb79567b.zip
dev-libs/picosat: add missing manifest
Diffstat (limited to 'dev-libs/picosat')
-rw-r--r--dev-libs/picosat/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-libs/picosat/Manifest b/dev-libs/picosat/Manifest
new file mode 100644
index 0000000..d497119
--- /dev/null
+++ b/dev-libs/picosat/Manifest
@@ -0,0 +1 @@
+DIST picosat-965.tar.gz 64386 BLAKE2B 913b08a72c0b15065353c2ee1ff8fe5a9c0f7a2a8653d80f4cdcee8fdcf69eed7621e28f4259a9d0fb506fefb8eccfd293f06aa7c1b3ea3f6cc31eb319a30532 SHA512 b5372962a0079d70641fd76c431b4ab5042c2f3015179762e447634f220cf0744eea786ee40b00035a342f3ead482061ebe1a9e3726bd06e7adf8e0ac0c5eabf