sci-mathematics - gentoo/gentoo.git - forked from gentoo/gentoo

Mode	Name	Size
d---------	4ti2	288	log plain
d---------	Macaulay2	215	log plain
d---------	agda-lib-ffi	185	log plain
d---------	agda-stdlib	219	log plain
d---------	agda	206	log plain
d---------	alt-ergo	124	log plain
d---------	arb	156	log plain
d---------	axiom	155	log plain
d---------	bertini	122	log plain
d---------	calc	256	log plain
d---------	cgal	195	log plain
d---------	coq	162	log plain
d---------	cvc3	201	log plain
d---------	dataplot	212	log plain
d---------	diagrtb	155	log plain
d---------	drgeo	157	log plain
d---------	dunshire	125	log plain
d---------	e	239	log plain
d---------	ent	153	log plain
d---------	euler	155	log plain
d---------	factmsieve	159	log plain
d---------	fann	200	log plain
d---------	flint	249	log plain
d---------	form	164	log plain
d---------	fricas	252	log plain
d---------	frobby	208	log plain
d---------	genius	124	log plain
d---------	geogebra	139	log plain
d---------	geomview	160	log plain
d---------	gfan	154	log plain
d---------	ggnfs	158	log plain
d---------	gimps	157	log plain
d---------	ginac	200	log plain
d---------	glpk	463	log plain
d---------	gmm	118	log plain
d---------	gmp-ecm	225	log plain
d---------	gretl	202	log plain
d---------	gsl-shell	164	log plain
d---------	gwnum	120	log plain
d---------	isabelle	158	log plain
d---------	jags	256	log plain
d---------	kodkod	205	log plain
d---------	kodkodi	175	log plain
d---------	lpsolve	126	log plain
d---------	lybniz	126	log plain
d---------	mathmod	125	log plain
d---------	mathomatic	180	log plain
d---------	maxima	351	log plain
-rw-r--r--	metadata.xml	1326	log plain
d---------	minisat	217	log plain
d---------	mlpy	121	log plain
d---------	msieve	200	log plain
d---------	nauty	168	log plain
d---------	nestedsums	127	log plain
d---------	normaliz	305	log plain
d---------	num-utils	175	log plain
d---------	nusmv	122	log plain
d---------	octave-epstk	178	log plain
d---------	octave	155	log plain
d---------	otter	155	log plain
d---------	p9m4	153	log plain
d---------	pari-data	129	log plain
d---------	pari	519	log plain
d---------	polymake	126	log plain
d---------	prng	156	log plain
d---------	prover9	159	log plain
d---------	pspp	200	log plain
d---------	pymc	153	log plain
d---------	pymc3	120	log plain
d---------	qtoctave	161	log plain
d---------	reduce	161	log plain
d---------	relational	125	log plain
d---------	rkward	133	log plain
d---------	rngstreams	127	log plain
d---------	rstudio	924	log plain
d---------	rw	120	log plain
d---------	sha1-polyml	181	log plain
d---------	singular	255	log plain
d---------	snns	154	log plain
d---------	spass	164	log plain
d---------	spin	288	log plain
d---------	topcom	156	log plain
d---------	twelf	154	log plain
d---------	unuran	123	log plain
d---------	why3-for-spark	162	log plain
d---------	wxmaxima	280	log plain
d---------	xmds	121	log plain
d---------	yacas	125	log plain
d---------	yafu	198	log plain
d---------	z3	194	log plain