diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
| commit | 93a93e9a3b53c1a73142a305ea1f8136846942ee (patch) | |
| tree | b9791a06ab3284e27b568412c59316c66240c682 /sci-mathematics/why3/Manifest | |
| parent | 2771f79232c273bc2a57d23bf335dd81ccf6af28 (diff) | |
gentoo resync : 22.12.2021
Diffstat (limited to 'sci-mathematics/why3/Manifest')
| -rw-r--r-- | sci-mathematics/why3/Manifest | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest new file mode 100644 index 000000000000..56bc0cb38a09 --- /dev/null +++ b/sci-mathematics/why3/Manifest @@ -0,0 +1,3 @@ +DIST why3-1.4.0.tar.gz 6306524 BLAKE2B ade7803a608d090ea06d974ae47e920993de92a5849d60bd63dba68252919a8f4fd1f0f6a3c975fdb727c4ae3afe13921b5d31a14c005e0d08f518e64bcf05e5 SHA512 b492f08a3c7073782b143a4849c47766b12045ad53c56aa8d251fd5b6bc1863ddebe260c99b3ddb27c4e1e1e9ab986c8b02286ec24f4c30f99f81f5f13fdc90a +EBUILD why3-1.4.0-r1.ebuild 2089 BLAKE2B 5d3ccd3ab09f320640dc30b20d4dd0e4caad312bcbad1685507839f5803221ae8ac5da9e184aece2f77afa439e4e8cae5541f1ba02f71b0713ea9989f4758581 SHA512 6dc7c9572d02fccfec6445268f1f880f540c9cc53d618328865baf958dd6cc310904fe991341f2e7156c961ae38e6c73a3572a73cebb55937fa2055384a6a62a +MISC metadata.xml 1680 BLAKE2B 4443de2368a7003db59e341bc671c8aa4c664be935b65df1fd1af161900a977194e012ef3b486f877a77f6b32405d700ee814d7cdeb10703b2462f7337965fb5 SHA512 7cc8dbe476d891d1311cec6ea15b1c6e6391c32bdbe715fe1fb7d2549763384c148e0509fb2b7c68b98b70eec1feeb4d94271378a343d50ef58cb5bb8a07a109 |