sci-mathematics « md5-cache « metadata - portage

Mode	Name	Size
-rw-r--r--	4ti2-1.6.2	1157	log plain
-rw-r--r--	4ti2-1.6.5	1159	log plain
-rw-r--r--	4ti2-1.6.6	1166	log plain
-rw-r--r--	4ti2-1.6.7	845	log plain
-rw-r--r--	Macaulay2-1.8.2.1-r1	2560	log plain
-rw-r--r--	Manifest.gz	24448	log plain
-rw-r--r--	agda-2.4.2.5-r2	4815	log plain
-rw-r--r--	agda-2.5.2-r1	5890	log plain
-rw-r--r--	agda-lib-ffi-0.0.2	1010	log plain
-rw-r--r--	agda-lib-ffi-0.0.2-r2	1043	log plain
-rw-r--r--	agda-stdlib-2.4.2.5	1386	log plain
-rw-r--r--	agda-stdlib-2.5.2.0.13	1274	log plain
-rw-r--r--	alt-ergo-1.30	592	log plain
-rw-r--r--	arb-2.11.1-r1	942	log plain
-rw-r--r--	axiom-200805	861	log plain
-rw-r--r--	bertini-1.4	501	log plain
-rw-r--r--	calc-2.12.4.13-r1	845	log plain
-rw-r--r--	calc-2.12.5.4	569	log plain
-rw-r--r--	cgal-4.10	1798	log plain
-rw-r--r--	cgal-4.11.1	1827	log plain
-rw-r--r--	cgal-4.11.3	1815	log plain
-rw-r--r--	cgal-4.9	1818	log plain
-rw-r--r--	coq-8.6	1256	log plain
-rw-r--r--	coq-8.6.1	1263	log plain
-rw-r--r--	cvc3-2.4.1-r1	755	log plain
-rw-r--r--	cvc4-1.6	498	log plain
-rw-r--r--	dataplot-20090821	1452	log plain
-rw-r--r--	dataplot-20131220	1452	log plain
-rw-r--r--	diagrtb-2.64	1190	log plain
-rw-r--r--	drgeo-1.1.0-r1	921	log plain
-rw-r--r--	dunshire-0.1.1	2272	log plain
-rw-r--r--	e-1.5	507	log plain
-rw-r--r--	e-1.6	507	log plain
-rw-r--r--	e-1.8-r1	507	log plain
-rw-r--r--	ent-101202	696	log plain
-rw-r--r--	euler-1.61.0	1116	log plain
-rw-r--r--	factmsieve-76-r1	1044	log plain
-rw-r--r--	fann-2.2.0-r1	1297	log plain
-rw-r--r--	fann-9999	1275	log plain
-rw-r--r--	flint-2.4.4-r1	978	log plain
-rw-r--r--	flint-2.4.5	976	log plain
-rw-r--r--	flint-2.5.2	986	log plain
-rw-r--r--	form-4.1	963	log plain
-rw-r--r--	form-4.2.0	980	log plain
-rw-r--r--	fricas-1.3.2	1159	log plain
-rw-r--r--	fricas-1.3.3	1159	log plain
-rw-r--r--	fricas-1.3.4	1159	log plain
-rw-r--r--	frobby-0.9.0-r2	523	log plain
-rw-r--r--	genius-1.0.21	1868	log plain
-rw-r--r--	geogebra-5.0.339.0_p20170308-r1	22422	log plain
-rw-r--r--	geomview-1.9.5-r1	1144	log plain
-rw-r--r--	gfan-0.5-r1	824	log plain
-rw-r--r--	ggnfs-0.77.1-r2	1027	log plain
-rw-r--r--	gimps-28.10-r1	625	log plain
-rw-r--r--	gimps-29.4.7	734	log plain
-rw-r--r--	gimps-29.4.8	670	log plain
-rw-r--r--	ginac-1.6.6	1063	log plain
-rw-r--r--	ginac-1.7.2	1113	log plain
-rw-r--r--	ginac-1.7.4	685	log plain
-rw-r--r--	glpk-4.63	1457	log plain
-rw-r--r--	gmm-5.1	836	log plain
-rw-r--r--	gmp-ecm-6.4.3-r5	1018	log plain
-rw-r--r--	gmp-ecm-6.4.4-r1	1349	log plain
-rw-r--r--	gmp-ecm-9999	1396	log plain
-rw-r--r--	gretl-1.9.14	1770	log plain
-rw-r--r--	gretl-1.9.90	1923	log plain
-rw-r--r--	gsl-shell-2.3.0_beta1	697	log plain
-rw-r--r--	gwnum-277	692	log plain
-rw-r--r--	isabelle-2016.1	2501	log plain
-rw-r--r--	jags-3.4.0	1075	log plain
-rw-r--r--	jags-4.0.0	1077	log plain
-rw-r--r--	jags-4.1.0	896	log plain
-rw-r--r--	jags-4.2.0	894	log plain
-rw-r--r--	kodkod-1.5.2-r1	1393	log plain
-rw-r--r--	kodkodi-1.5.2-r1	1286	log plain
-rw-r--r--	lpsolve-5.5.2.0	419	log plain
-rw-r--r--	lybniz-1.3.2-r1	1234	log plain
-rw-r--r--	mathmod-4.1-r1	984	log plain
-rw-r--r--	mathomatic-15.8.5	859	log plain
-rw-r--r--	mathomatic-16.0.5	917	log plain
-rw-r--r--	maxima-5.38.1	2399	log plain
-rw-r--r--	maxima-5.41.0-r1	2544	log plain
-rw-r--r--	maxima-5.41.0-r2	2445	log plain
-rw-r--r--	maxima-5.42.1	2445	log plain
-rw-r--r--	minisat-2.2.0-r4	542	log plain
-rw-r--r--	minisat-2.2.0_p20130925	656	log plain
-rw-r--r--	mlpy-3.5.0	1864	log plain
-rw-r--r--	msieve-1.51	944	log plain
-rw-r--r--	msieve-9999	1018	log plain
-rw-r--r--	nauty-2.5.9	385	log plain
-rw-r--r--	nauty-2.6.7	977	log plain
-rw-r--r--	nestedsums-1.5.1	922	log plain
-rw-r--r--	normaliz-2.12.2	879	log plain
-rw-r--r--	normaliz-3.1.1	885	log plain
-rw-r--r--	normaliz-3.1.3	646	log plain
-rw-r--r--	normaliz-3.3.0	1156	log plain
-rw-r--r--	num-utils-0.3	365	log plain
-rw-r--r--	num-utils-0.5-r1	801	log plain
-rw-r--r--	nusmv-2.6.0	1467	log plain
-rw-r--r--	octave-4.2.2	4311	log plain
-rw-r--r--	octave-4.4.0	4491	log plain
-rw-r--r--	octave-4.4.1	4491	log plain
-rw-r--r--	octave-epstk-2.4	822	log plain
-rw-r--r--	otter-3.3-r3	517	log plain
-rw-r--r--	p9m4-05-r1	2029	log plain
-rw-r--r--	pari-2.9.4-r1	1266	log plain
-rw-r--r--	pari-data-20120726	782	log plain
-rw-r--r--	polymake-3.0_p2	1587	log plain
-rw-r--r--	prng-3.0.2-r2	711	log plain
-rw-r--r--	prover9-2009.11a	845	log plain
-rw-r--r--	pspp-0.10.1	1506	log plain
-rw-r--r--	pspp-0.10.2	1508	log plain
-rw-r--r--	pymc-2.3.6	3796	log plain
-rw-r--r--	pymc3-3.1	11058	log plain
-rw-r--r--	reduce-20110414-r1	791	log plain
-rw-r--r--	relational-2.5	2900	log plain
-rw-r--r--	rkward-0.7.0	3326	log plain
-rw-r--r--	rngstreams-1.0.1	961	log plain
-rw-r--r--	rstudio-1.1.383-r1	3802	log plain
-rw-r--r--	rstudio-1.1.453	3931	log plain
-rw-r--r--	rw-0.7-r2	529	log plain
-rw-r--r--	sha1-polyml-5.5.0	410	log plain
-rw-r--r--	sha1-polyml-5.6_p1	402	log plain
-rw-r--r--	singular-3.1.6	2657	log plain
-rw-r--r--	singular-4.0.2	1702	log plain
-rw-r--r--	singular-4.0.3	1705	log plain
-rw-r--r--	snns-4.3-r2	1499	log plain
-rw-r--r--	snns-4.3-r3	1375	log plain
-rw-r--r--	spass-3.7	562	log plain
-rw-r--r--	spass-3.9	532	log plain
-rw-r--r--	spin-6.4.5	851	log plain
-rw-r--r--	topcom-0.17.7	973	log plain
-rw-r--r--	twelf-1.7.1	963	log plain
-rw-r--r--	twelf-1.7.1-r1	985	log plain
-rw-r--r--	unuran-1.8.1	1144	log plain
-rw-r--r--	why3-for-spark-2017	1424	log plain
-rw-r--r--	why3-for-spark-2018	1416	log plain
-rw-r--r--	wxmaxima-15.08.2	1132	log plain
-rw-r--r--	wxmaxima-18.02.0	1353	log plain
-rw-r--r--	wxmaxima-18.10.0	1377	log plain
-rw-r--r--	wxmaxima-18.10.2	1377	log plain
-rw-r--r--	xmds-2.2.2	1674	log plain
-rw-r--r--	yacas-1.6.1-r1	2034	log plain
-rw-r--r--	yafu-1.34.3	940	log plain
-rw-r--r--	yafu-9999	1032	log plain
-rw-r--r--	z3-4.4.1	1663	log plain
-rw-r--r--	z3-4.5.0	1688	log plain