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

Mode	Name	Size
d---------	4ti2	156	log plain
d---------	abc	201	log plain
d---------	acl2	154	log plain
d---------	alectryon	161	log plain
d---------	alt-ergo	309	log plain
d---------	arb	121	log plain
d---------	bertini	168	log plain
d---------	boolector	136	log plain
d---------	btor2tools	174	log plain
d---------	cadabra	161	log plain
d---------	cadical	210	log plain
d---------	calc	156	log plain
d---------	cgal	196	log plain
d---------	cliquer	123	log plain
d---------	coq-mathcomp	190	log plain
d---------	coq-serapi	319	log plain
d---------	coq	307	log plain
d---------	cryptominisat	163	log plain
d---------	cubicle	159	log plain
d---------	cudd	121	log plain
d---------	cvc4	154	log plain
d---------	dataplot	160	log plain
d---------	diagrtb	155	log plain
d---------	dsfmt	154	log plain
d---------	dunshire	128	log plain
d---------	easycrypt	200	log plain
d---------	eclib	174	log plain
d---------	ent	153	log plain
d---------	eprover	129	log plain
d---------	euler	158	log plain
d---------	fann	200	log plain
d---------	flint	214	log plain
d---------	flintqs	122	log plain
d---------	flocq	171	log plain
d---------	form	201	log plain
d---------	fricas	158	log plain
d---------	frobby	158	log plain
d---------	gappa	122	log plain
d---------	gappalib-coq	185	log plain
d---------	genius	156	log plain
d---------	geogebra-bin	165	log plain
d---------	geomview	160	log plain
d---------	gfan	156	log plain
d---------	giac	159	log plain
d---------	gimps	251	log plain
d---------	ginac	154	log plain
d---------	glpk	154	log plain
d---------	gmm	162	log plain
d---------	gmp-ecm	127	log plain
d---------	gp2c	122	log plain
d---------	gretl	154	log plain
d---------	gsl-shell	208	log plain
d---------	jags	166	log plain
d---------	kind2	122	log plain
d---------	kissat	123	log plain
d---------	lcalc	125	log plain
d---------	lean	338	log plain
d---------	libpoly	125	log plain
d---------	lpsolve	162	log plain
d---------	lrcalc	198	log plain
d---------	mathematica	506	log plain
d---------	mathlib-tools	165	log plain
d---------	mathmod	125	log plain
d---------	mathomatic	131	log plain
d---------	maxima	207	log plain
-rw-r--r--	metadata.xml	1326	log plain
d---------	metamath-databases	138	log plain
d---------	metamath	157	log plain
d---------	minisat	159	log plain
d---------	msieve	157	log plain
d---------	nauty	157	log plain
d---------	nestedsums	130	log plain
d---------	normaliz	175	log plain
d---------	num-utils	159	log plain
d---------	octave-epstk	127	log plain
d---------	octave	252	log plain
d---------	opensmt	207	log plain
d---------	otter	155	log plain
d---------	pari-data	129	log plain
d---------	pari	154	log plain
d---------	petsc	349	log plain
d---------	picosat	154	log plain
d---------	planarity	128	log plain
d---------	plfit	122	log plain
d---------	polymake	205	log plain
d---------	primecount	125	log plain
d---------	primesieve	126	log plain
d---------	prng	156	log plain
d---------	prover9	159	log plain
d---------	psmt2-frontend	216	log plain
d---------	pspp	156	log plain
d---------	rkward	123	log plain
d---------	rngstreams	127	log plain
d---------	rw	117	log plain
d---------	sha1-polyml	126	log plain
d---------	singular	212	log plain
d---------	slepc	311	log plain
d---------	smtinterpol	168	log plain
d---------	spin	156	log plain
d---------	stp	155	log plain
d---------	sympow	157	log plain
d---------	topcom	159	log plain
d---------	twelf	157	log plain
d---------	unuran	202	log plain
d---------	vampire	208	log plain
d---------	verit	126	log plain
d---------	why3-for-spark	165	log plain
d---------	why3	214	log plain
d---------	wxmaxima	178	log plain
d---------	yacas	122	log plain
d---------	yafu	157	log plain
d---------	yices2	126	log plain
d---------	z3	120	log plain