repo/proj/guru.git - GURU: repository of new packages maintained collaboratively by users

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/frama-c: bump to 24.0	François-Xavier Carton	2022-01-13	62	-0/+1614
*	sci-mathematics/frama-c-wp: add missing variable	François-Xavier Carton	2022-01-13	1	-0/+1
*	sci-mathematics/frama-c: drop UnusedInherits	Andrew Ammerlaan	2021-12-15	1	-1/+1
*	sci-mathematics/frama-c: drop old	Andrew Ammerlaan	2021-12-15	3	-138/+0
*	sci-mathematics/why3: moved to ::gentoo	Andrew Ammerlaan	2021-12-15	4	-199/+0
*	sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean	Andrew Ammerlaan	2021-12-01	1	-1/+1
*	sci-mathematics: move mathlib-tools to ::gentoo	Maciej Barć	2021-11-26	3	-69/+0
*	sci-mathematics: moved metamath to ::gentoo	Maciej Barć	2021-11-26	4	-63/+0
*	sci-mathematics/mathlib-tools: remove problematic tests	Maciej Barć	2021-10-25	1	-2/+8
*	sci-mathematics/lean-mathlib: remove empty longdescription	Arthur Zamarin	2021-10-24	1	-2/+0
*	sci-mathematics/lean-mathlib: fix doc install	Alessandro Barbieri	2021-10-23	1	-1/+1
*	sci-mathematics/lean-mathlib: initial import	Alessandro Barbieri	2021-10-22	3	-0/+59
*	sci-mathematics/metamath: add verison 0.198	Maciej Barć	2021-10-22	4	-0/+63
*	sci-mathematics/mathlib-tools: add lean slot	Maciej Barć	2021-10-21	1	-1/+1
*	sci-mathematics/mathlib-tools: add version 1.1.0	Maciej Barć	2021-10-20	3	-0/+63
*	sci-mathematics/why3: update SRC_URI	François-Xavier Carton	2021-10-01	2	-2/+2
*	sci-mathematics/chaco: change file layout	Alessandro Barbieri	2021-09-07	1	-2/+4
*	sci-mathematics/chaco: mbdyn patch, build shared library	Alessandro Barbieri	2021-09-07	5	-29/+114
*	sci-mathematics/the-omega-project: respect LDFLAGS, build PIE	Alessandro Barbieri	2021-09-05	2	-2/+21
*	sci-mathematics/why3: no need to die with emake	François-Xavier Carton	2021-09-04	2	-2/+2
*	sci-mathematics/frama-c: split plugins from main ebuild	François-Xavier Carton	2021-09-04	91	-61/+1812
*	sci-mathematics/frama-c: bump to 23.1	François-Xavier Carton	2021-09-04	2	-0/+106
*	sci-mathematics/the-omega-project: reverse gui logic	Alessandro Barbieri	2021-08-08	1	-1/+1
*	sci-mathematics/the-omega-project: rename patch	Alessandro Barbieri	2021-08-08	2	-1/+1
*	sci-mathematics/the-omega-project: initial import	Alessandro Barbieri	2021-08-08	7	-0/+373
*	/: add lang="en" to <longdescription>	Alessandro Barbieri	2021-06-28	2	-2/+2
*	sci-mathematics/frama-c: fix AR and RANLIB	Anna Vyalkova	2021-05-16	1	-1/+7
*	sci-mathematics/chaco: fix CC	Anna Vyalkova	2021-05-16	1	-4/+9
*	sci-mathematics/*: inherit findlib eclass	Anna Vyalkova	2021-05-02	3	-12/+7
*	sci-mathematics/frama-c: respect CFLAGS	François-Xavier Carton	2021-04-19	1	-0/+1
*	sci-mathematics/why3: respect CFLAGS & LDFLAGS	François-Xavier Carton	2021-04-19	2	-0/+6
*	sci-mathematics/chaco: it's not a libraru	Alessandro Barbieri	2021-04-12	4	-0/+60
*	sci-mathematics/frama-c: doesn't build with why3-1.4.0	François-Xavier Carton	2021-03-30	1	-1/+1
*	sci-mathematics/why3: bump to 1.4.0	François-Xavier Carton	2021-03-30	3	-0/+85
*	sci-mathematics/frama-c: add MissingUseDepDefault	Andrew Ammerlaan	2021-03-28	1	-2/+2
*	sci-mathematics/frama-c: new package	François-Xavier Carton	2021-01-09	3	-0/+153
*	sci-mathematics/why3: new package	François-Xavier Carton	2021-01-09	3	-0/+108