From 964d83037dc8914a6639b108f6297d3edb79567b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 20 Sep 2021 13:19:27 +0200 Subject: dev-libs/picosat: add missing manifest --- dev-libs/picosat/Manifest | 1 + 1 file changed, 1 insertion(+) create mode 100644 dev-libs/picosat/Manifest (limited to 'dev-libs/picosat') 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 -- cgit v1.2.3