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

Mode	Name	Size
d---------	4ti2	243	log plain
d---------	Macaulay2	212	log plain
d---------	agda-executable	198	log plain
d---------	agda-lib-ffi	185	log plain
d---------	agda-stdlib	316	log plain
d---------	agda	452	log plain
d---------	axiom	155	log plain
d---------	bertini	122	log plain
d---------	cado-nfs	315	log plain
d---------	calc	349	log plain
d---------	cgal	242	log plain
d---------	coq	240	log plain
d---------	csdp	121	log plain
d---------	cvc3	153	log plain
d---------	dataplot	160	log plain
d---------	diagrtb	155	log plain
d---------	drgeo	154	log plain
d---------	e	196	log plain
d---------	ent	153	log plain
d---------	euler	155	log plain
d---------	factmsieve	156	log plain
d---------	fann	250	log plain
d---------	flint	339	log plain
d---------	form	119	log plain
d---------	freemat	154	log plain
d---------	fricas	158	log plain
d---------	frobby	158	log plain
d---------	genius	204	log plain
d---------	geogebra	161	log plain
d---------	geomview	157	log plain
d---------	gfan	151	log plain
d---------	ggnfs	158	log plain
d---------	gimps	153	log plain
d---------	ginac	292	log plain
d---------	glpk	328	log plain
d---------	gmm	160	log plain
d---------	gmp-ecm	225	log plain
d---------	gretl	202	log plain
d---------	gsl-shell	158	log plain
d---------	gwnum	120	log plain
d---------	isabelle	414	log plain
d---------	jags	211	log plain
d---------	kodkod	155	log plain
d---------	kodkodi	124	log plain
d---------	lpsolve	126	log plain
d---------	lybniz	123	log plain
d---------	mathomatic	232	log plain
d---------	maxima	207	log plain
-rw-r--r--	metadata.xml	1326	log plain
d---------	minisat	207	log plain
d---------	mlpy	121	log plain
d---------	msieve	200	log plain
d---------	nauty	122	log plain
d---------	nestedsums	131	log plain
d---------	normaliz	207	log plain
d---------	num-utils	175	log plain
d---------	nusmv	338	log plain
d---------	octave-epstk	178	log plain
d---------	octave	396	log plain
d---------	otter	202	log plain
d---------	p9m4	153	log plain
d---------	pari-data	129	log plain
d---------	pari	519	log plain
d---------	polymake	255	log plain
d---------	prng	201	log plain
d---------	prover9	159	log plain
d---------	pspp	201	log plain
d---------	pymc	163	log plain
d---------	qtoctave	161	log plain
d---------	reduce	161	log plain
d---------	relational	126	log plain
d---------	rkward	123	log plain
d---------	rngstreams	127	log plain
d---------	rstudio	833	log plain
d---------	rw	117	log plain
d---------	sha1-polyml	128	log plain
d---------	singular	206	log plain
d---------	snns	246	log plain
d---------	spass	120	log plain
d---------	spin	288	log plain
d---------	topcom	159	log plain
d---------	twelf	154	log plain
d---------	unuran	155	log plain
d---------	wxmaxima	232	log plain
d---------	xmds	198	log plain
d---------	yacas	246	log plain
d---------	yafu	198	log plain