diff options
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 |