diff options
| author | Karel Kočí <cynerd@email.cz> | 2021-09-20 13:19:27 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2021-09-20 13:19:27 +0200 |
| commit | 964d83037dc8914a6639b108f6297d3edb79567b (patch) | |
| tree | a32df932a5799c01c252e68b29fd559c4c6f67f7 /dev-libs/picosat | |
| parent | 618e97d1cc3225127425a6e67f3a52690971dff8 (diff) | |
| download | gentoo-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/Manifest | 1 |
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 |