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

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/why3: bump to 1.5.1	Maciej Barć	2022-09-19	2	-0/+104
*	sci-mathematics/why3: use https	Michael Mair-Keimberger	2022-07-26	3	-3/+3
*	sci-mathematics/why3: remove unnecessary seq dependency	Maciej Barć	2022-07-23	3	-3/+3
*	sci-mathematics/why3: bump to 1.5.0	François-Xavier Carton	2022-05-07	3	-0/+105
*	sci-mathematics/why3: increase required menhir version	Maciej Barć	2022-04-16	2	-3/+3
*	sci-mathematics/why3: bump to 1.4.1	Maciej Barć	2022-03-04	2	-0/+99
*	**/metadata.xml: Replace http by https in DOCTYPE element	Ulrich Müller	2022-01-25	1	-1/+1
*	sci-mathematics/why3: add sci-mathematics to maintainers	Maciej Barć	2022-01-17	1	-0/+4
*	sci-mathematics/why3: fix race condition in parallel make doc	François-Xavier Carton	2022-01-15	1	-0/+1
*	sci-mathematics/why3: add missing latex dependencies	François-Xavier Carton	2022-01-13	1	-1/+3
*	sci-mathematics/why3: fix *DEPEND	Maciej Barć	2021-12-12	1	-14/+17
*	sci-mathematics/why3: new package; add version 1.4.0	Maciej Barć	2021-12-12	3	-0/+126