repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/easycrypt: H -> COMMIT	Maciej Barć	2023-02-02	2	-10/+10
*	sci-mathematics/easycrypt: add Why3 constraints for older EC versions	Maciej Barć	2022-05-07	2	-2/+2
*	sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2	Maciej Barć	2022-05-07	2	-46/+0
*	sci-mathematics/easycrypt: bump to 2022.04_p20220505	Maciej Barć	2022-05-07	2	-0/+46
*	sci-mathematics/easycrypt: bump to 2022.04	Maciej Barć	2022-04-27	2	-0/+44
*	sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)	Maciej Barć	2022-03-04	2	-0/+46
*	sci-mathematics/easycrypt: fix theories location; bump to EAPI 8	Maciej Barć	2022-01-30	1	-5/+12
*	**/metadata.xml: Replace http by https in DOCTYPE element	Ulrich Müller	2022-01-25	1	-1/+1
*	sci-mathematics/easycrypt: add sci-mathematics to maintainers	Maciej Barć	2022-01-17	1	-0/+4
*	sci-mathematics/easycrypt: fix ocaml dependency	Maciej Barć	2021-12-12	1	-1/+1
*	sci-mathematics/easycrypt: new package; add version 1.0_pre20211210	Maciej Barć	2021-12-12	3	-0/+57