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

Mode	Name	Size
d---------	4ti2	198	log plain
d---------	agda-stdlib	166	log plain
d---------	agda	155	log plain
d---------	alt-ergo	125	log plain
d---------	arb	198	log plain
d---------	bertini	122	log plain
d---------	calc	156	log plain
d---------	cgal	240	log plain
d---------	cliquer	123	log plain
d---------	coq	215	log plain
d---------	cvc4	154	log plain
d---------	dataplot	160	log plain
d---------	diagrtb	155	log plain
d---------	dunshire	128	log plain
d---------	eclib	125	log plain
d---------	ent	153	log plain
d---------	euler	155	log plain
d---------	fann	200	log plain
d---------	flint	203	log plain
d---------	flintqs	122	log plain
d---------	form	121	log plain
d---------	fricas	155	log plain
d---------	frobby	158	log plain
d---------	genius	156	log plain
d---------	geogebra-bin	168	log plain
d---------	geomview	160	log plain
d---------	gfan	153	log plain
d---------	ggnfs	158	log plain
d---------	gimps	155	log plain
d---------	ginac	201	log plain
d---------	glpk	195	log plain
d---------	gmm	160	log plain
d---------	gmp-ecm	174	log plain
d---------	gp2c	170	log plain
d---------	gretl	155	log plain
d---------	gsl-shell	164	log plain
d---------	jags	121	log plain
d---------	lpsolve	126	log plain
d---------	lrcalc	153	log plain
d---------	mathematica	132	log plain
d---------	mathmod	125	log plain
d---------	mathomatic	128	log plain
d---------	maxima	204	log plain
-rw-r--r--	metadata.xml	1326	log plain
d---------	minisat	169	log plain
d---------	msieve	203	log plain
d---------	nauty	122	log plain
d---------	nestedsums	130	log plain
d---------	normaliz	174	log plain
d---------	num-utils	159	log plain
d---------	octave-epstk	127	log plain
d---------	octave	205	log plain
d---------	otter	155	log plain
d---------	pari-data	129	log plain
d---------	pari	200	log plain
d---------	petsc	155	log plain
d---------	planarity	160	log plain
d---------	polymake	126	log plain
d---------	prng	156	log plain
d---------	prover9	159	log plain
d---------	psmt2-frontend	161	log plain
d---------	pspp	201	log plain
d---------	relational	160	log plain
d---------	rkward	123	log plain
d---------	rngstreams	127	log plain
d---------	rstudio	159	log plain
d---------	rw	120	log plain
d---------	sha1-polyml	129	log plain
d---------	singular	206	log plain
d---------	slepc	123	log plain
d---------	spin	153	log plain
d---------	sympow	157	log plain
d---------	topcom	156	log plain
d---------	twelf	157	log plain
d---------	unuran	123	log plain
d---------	why3-for-spark	219	log plain
d---------	wxmaxima	178	log plain
d---------	yacas	157	log plain
d---------	yafu	198	log plain
d---------	z3	119	log plain