diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
| commit | 752d6256e5204b958b0ef7905675a940b5e9172f (patch) | |
| tree | 330d16e6362a49cbed8875a777fe641a43376cd3 /sci-mathematics/coq-serapi/Manifest | |
| parent | 0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff) | |
gentoo resync : 12.05.2022
Diffstat (limited to 'sci-mathematics/coq-serapi/Manifest')
| -rw-r--r-- | sci-mathematics/coq-serapi/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest index 79adbadee5cb..9e8f2153507b 100644 --- a/sci-mathematics/coq-serapi/Manifest +++ b/sci-mathematics/coq-serapi/Manifest @@ -1,5 +1,5 @@ AUX 50sertop-gentoo.el 85 BLAKE2B d06e7c0823a3bedbf5f9c91ea8ea26bc9ed9d2ea44030316a1f3d65c19e51d874f03c845af5ae8237a9562cff7c81e24196c5ae29e54d79d1ba322f51904ba5d SHA512 42e61d798800d2e4c7e0702bdff53401a06ff6def54a1c7c0a8a6fd3e6a2f502c48bc84a04356818aa2ec5241bdd63b407837df123bfad76fafb78cf8a5a6cca AUX coq-serapi-sertop.el-path.patch 319 BLAKE2B 272eca8af934e10e978d149f90ee702fba443db7506468dda344242c5fe8a336f3ba3836c536bfac9ec6e540e1ee2f4c1a031d69e42901fbea92441b64e4c2a5 SHA512 5d228659e7c07e8fae69ffbff9d6a9de3113aa444c467194ce9e238a0db86c59c2be45b3e14683e47c2453c701b869e53647c9b051652af5ced8f4b3b5a15e73 DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189 -EBUILD coq-serapi-0.15.0.ebuild 1364 BLAKE2B ac46f536fb9a0ac3a4c050732545409fa7f2a0ce888895e2b0ead2332317d1b51b3a964b91ba5baa9f86b050a2eb319889bedf20a7b6a1071ac5eb4c43e827e1 SHA512 bc8af4879ac61917ccda943a804f3daea2fe05bf63ccf17fdd4ef130c968702e8179c227e1c176efa2a59620910b366fcc8f4fa65d0398f806ec59931bbec6b9 +EBUILD coq-serapi-0.15.0-r2.ebuild 1403 BLAKE2B c0ccb04d66e214da207cc225e75ce7a81c176ce810bb473f829abe4c4668a44d43d9bec11a6db394c2139add2539bc8888fd6fcd456f0d32366a4b1c51916934 SHA512 b95f91e5050104df60329ba167454863a25bbcad5c8b7427e7ab903747bf78a57b5a058994f46441f38627363264ccad048cc66bd436933039649165a2d75fa4 MISC metadata.xml 935 BLAKE2B e1444df414ce499df466597f5e0949e8ebf2d6da23d77028546324109659f58c5f0284a315ea062410a2f2e4631aac8d3564664719e89d76ad6ded9bb8ba7a5f SHA512 172fedbb2aa42e2be9aff426d64fcd69d2dfa206bb0e6072c6ecdc14a1923a2f0676303d8d8aebfe9a3e96e0a1e89185d2d4952bdb9ba1fff44b3891f26d6bf7 |