diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-01-12 00:59:39 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-12 02:23:40 +0100 |
| commit | 185fe2f36d6aa2df299937218aed7b40ca05fcd5 (patch) | |
| tree | 7021cf4fe6125131860284e7f48a33f181467925 /sci-mathematics/coq-serapi/Manifest | |
| parent | virtual/rust: Stabilize 1.66.1 ppc, #890541 (diff) | |
| download | gentoo-185fe2f36d6aa2df299937218aed7b40ca05fcd5.tar.gz gentoo-185fe2f36d6aa2df299937218aed7b40ca05fcd5.tar.bz2 gentoo-185fe2f36d6aa2df299937218aed7b40ca05fcd5.zip | |
sci-mathematics/coq-serapi: bump to 0.16.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-serapi/Manifest')
| -rw-r--r-- | sci-mathematics/coq-serapi/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest index 61f749d71918..24094f6656d1 100644 --- a/sci-mathematics/coq-serapi/Manifest +++ b/sci-mathematics/coq-serapi/Manifest @@ -1,3 +1,4 @@ DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189 DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3 DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756 +DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b |