diff options
Diffstat (limited to 'sci-mathematics/btor2tools/Manifest')
| -rw-r--r-- | sci-mathematics/btor2tools/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/btor2tools/Manifest b/sci-mathematics/btor2tools/Manifest new file mode 100644 index 000000000000..965d004a13e7 --- /dev/null +++ b/sci-mathematics/btor2tools/Manifest @@ -0,0 +1 @@ +DIST btor2tools-1.0.0_pre20220518.tar.gz 87420 BLAKE2B df8ddc8f286c32c580a8feaf0c7e90dff113d2b0303e3da0a378f2906cd34134ea91707cd40c95c38782990bf4d815416b3a566680f4d6668ddca46321ae530a SHA512 96e17327de311b3d16e086031038a8248431d0dda75b83ce137d6526a096b69fc062290f92ec5b58fffb56aa25437835f97a96bd15f0044d4d52263bf386d928 |