sci-mathematics - repo/gentoo/historical.git - Gentoo ebuild repository HISTORICAL read-only tree

Mode	Name	Size
d---------	4ti2	280	log plain
d---------	Macaulay2	197	log plain
d---------	agda-executable	235	log plain
d---------	agda-lib-ffi	222	log plain
d---------	agda-stdlib	299	log plain
d---------	agda	292	log plain
d---------	axiom	192	log plain
d---------	bertini	159	log plain
d---------	cado-nfs	303	log plain
d---------	calc	386	log plain
d---------	cgal	279	log plain
d---------	coq	415	log plain
d---------	cvc3	190	log plain
d---------	dataplot	197	log plain
d---------	diagrtb	192	log plain
d---------	drgeo	191	log plain
d---------	e	233	log plain
d---------	ent	190	log plain
d---------	euler	192	log plain
d---------	factmsieve	193	log plain
d---------	fann	243	log plain
d---------	flint	330	log plain
d---------	form	156	log plain
d---------	freemat	191	log plain
d---------	fricas	239	log plain
d---------	frobby	195	log plain
d---------	genius	241	log plain
d---------	geogebra	198	log plain
d---------	geomview	194	log plain
d---------	gfan	188	log plain
d---------	ggnfs	195	log plain
d---------	gimps	283	log plain
d---------	ginac	283	log plain
d---------	glpk	321	log plain
d---------	gmm	155	log plain
d---------	gmp-ecm	262	log plain
d---------	gretl	239	log plain
d---------	gsl-shell	195	log plain
d---------	gwnum	157	log plain
d---------	isabelle	403	log plain
d---------	jags	158	log plain
d---------	kodkod	192	log plain
d---------	kodkodi	161	log plain
d---------	lpsolve	163	log plain
d---------	lybniz	160	log plain
d---------	mathomatic	269	log plain
d---------	maxima	289	log plain
-rw-r--r--	metadata.xml	1326	log plain
d---------	minisat	244	log plain
d---------	mlpy	158	log plain
d---------	msieve	237	log plain
d---------	nauty	159	log plain
d---------	nestedsums	168	log plain
d---------	normaliz	195	log plain
d---------	num-utils	212	log plain
d---------	nusmv	375	log plain
d---------	octave-epstk	215	log plain
d---------	octave	433	log plain
d---------	otter	239	log plain
d---------	p9m4	190	log plain
d---------	pari-data	166	log plain
d---------	pari	556	log plain
d---------	polymake	292	log plain
d---------	prng	190	log plain
d---------	prover9	196	log plain
d---------	pspp	238	log plain
d---------	pymc	200	log plain
d---------	qtoctave	198	log plain
d---------	reduce	198	log plain
d---------	relational	163	log plain
d---------	rkward	160	log plain
d---------	rngstreams	164	log plain
d---------	rstudio	558	log plain
d---------	rw	154	log plain
d---------	sha1-polyml	165	log plain
d---------	singular	243	log plain
d---------	snns	283	log plain
d---------	spass	157	log plain
d---------	spin	280	log plain
d---------	topcom	196	log plain
d---------	twelf	191	log plain
d---------	unuran	192	log plain
d---------	wxmaxima	218	log plain
d---------	xmds	235	log plain
d---------	yacas	283	log plain
d---------	yafu	235	log plain