sci-mathematics « md5-cache « metadata - portage

Mode	Name	Size
-rw-r--r--	4ti2-1.6.2	1125	log plain
-rw-r--r--	4ti2-1.6.5	1127	log plain
-rw-r--r--	4ti2-1.6.6	1134	log plain
-rw-r--r--	4ti2-1.6.7	813	log plain
-rw-r--r--	Manifest.gz	22096	log plain
-rw-r--r--	agda-2.4.2.5-r2	4843	log plain
-rw-r--r--	agda-2.5.2-r1	5918	log plain
-rw-r--r--	agda-2.5.2-r2	5539	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	603	log plain
-rw-r--r--	alt-ergo-2.3.0	773	log plain
-rw-r--r--	arb-2.11.1-r1	942	log plain
-rw-r--r--	arb-2.16.0	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.11.3	1813	log plain
-rw-r--r--	coq-8.6.1-r1	1282	log plain
-rw-r--r--	coq-8.9.1-r1	932	log plain
-rw-r--r--	coq-8.9.1-r2	953	log plain
-rw-r--r--	cvc4-1.6	498	log plain
-rw-r--r--	cvc4-1.7	1084	log plain
-rw-r--r--	dataplot-20090821	1420	log plain
-rw-r--r--	dataplot-20131220	1420	log plain
-rw-r--r--	diagrtb-2.64	1190	log plain
-rw-r--r--	dunshire-0.1.1	1736	log plain
-rw-r--r--	eclib-20190909	666	log plain
-rw-r--r--	ent-101202	696	log plain
-rw-r--r--	euler-1.61.0	1084	log plain
-rw-r--r--	fann-2.2.0-r1	1062	log plain
-rw-r--r--	fann-9999	1049	log plain
-rw-r--r--	flint-2.4.4-r1	994	log plain
-rw-r--r--	flint-2.4.5	992	log plain
-rw-r--r--	flint-2.5.2	1002	log plain
-rw-r--r--	form-4.1	931	log plain
-rw-r--r--	form-4.2.0	948	log plain
-rw-r--r--	fricas-1.3.4	1228	log plain
-rw-r--r--	fricas-1.3.5	1228	log plain
-rw-r--r--	frobby-0.9.0-r2	523	log plain
-rw-r--r--	genius-1.0.23	1880	log plain
-rw-r--r--	geogebra-5.0.339.0_p20170308-r1	22448	log plain
-rw-r--r--	geomview-1.9.5-r1	1213	log plain
-rw-r--r--	gfan-0.5-r1	545	log plain
-rw-r--r--	ggnfs-0.77.1-r2	1027	log plain
-rw-r--r--	gimps-29.8.6	649	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	1403	log plain
-rw-r--r--	gmm-5.1	803	log plain
-rw-r--r--	gmm-5.3	555	log plain
-rw-r--r--	gmp-ecm-6.4.4-r1	1238	log plain
-rw-r--r--	gmp-ecm-7.0.4-r1	1238	log plain
-rw-r--r--	gmp-ecm-9999	1301	log plain
-rw-r--r--	gp2c-0.0.11.2-r1	390	log plain
-rw-r--r--	gretl-1.9.14	1839	log plain
-rw-r--r--	gretl-1.9.90	1992	log plain
-rw-r--r--	gsl-shell-2.3.0_beta1	697	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--	lpsolve-5.5.2.0	418	log plain
-rw-r--r--	lrcalc-1.2	377	log plain
-rw-r--r--	mathmod-4.1-r1	967	log plain
-rw-r--r--	mathomatic-15.8.5	858	log plain
-rw-r--r--	mathomatic-16.0.5	917	log plain
-rw-r--r--	maxima-5.38.1	2436	log plain
-rw-r--r--	maxima-5.42.1	2479	log plain
-rw-r--r--	maxima-5.42.2	2482	log plain
-rw-r--r--	maxima-5.43.0	2625	log plain
-rw-r--r--	minisat-2.2.0-r4	542	log plain
-rw-r--r--	minisat-2.2.0_p20130925-r1	656	log plain
-rw-r--r--	msieve-1.51-r1	928	log plain
-rw-r--r--	msieve-1.53-r1	666	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	970	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	1124	log plain
-rw-r--r--	num-utils-0.5-r1	801	log plain
-rw-r--r--	octave-4.2.2	4295	log plain
-rw-r--r--	octave-4.4.0	4475	log plain
-rw-r--r--	octave-4.4.1	4483	log plain
-rw-r--r--	octave-5.1.0	4483	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--	pari-2.11.2	1046	log plain
-rw-r--r--	pari-2.9.4-r1	1256	log plain
-rw-r--r--	pari-data-20191216	744	log plain
-rw-r--r--	petsc-3.11.3	1996	log plain
-rw-r--r--	petsc-3.12.1	1996	log plain
-rw-r--r--	polymake-3.0_p2	1587	log plain
-rw-r--r--	prng-3.0.2-r2	679	log plain
-rw-r--r--	prover9-2009.11a	555	log plain
-rw-r--r--	psmt2-frontend-0.2	857	log plain
-rw-r--r--	pspp-1.2.0	1631	log plain
-rw-r--r--	pymc3-3.1	4462	log plain
-rw-r--r--	relational-2.5	1400	log plain
-rw-r--r--	rkward-0.7.0b	2926	log plain
-rw-r--r--	rngstreams-1.0.1	430	log plain
-rw-r--r--	rstudio-1.1.463-r1	3673	log plain
-rw-r--r--	rstudio-1.2.1335	3744	log plain
-rw-r--r--	rstudio-1.2.5033	3689	log plain
-rw-r--r--	rw-0.8-r1	848	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-4.0.2	1729	log plain
-rw-r--r--	singular-4.0.3	1732	log plain
-rw-r--r--	slepc-3.11.1	889	log plain
-rw-r--r--	slepc-3.12.1	889	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	1032	log plain
-rw-r--r--	twelf-1.7.1-r1	1054	log plain
-rw-r--r--	unuran-1.8.1	628	log plain
-rw-r--r--	why3-for-spark-2018	1397	log plain
-rw-r--r--	why3-for-spark-2019	1399	log plain
-rw-r--r--	why3-for-spark-2019-r1	1509	log plain
-rw-r--r--	wxmaxima-18.11.4	1357	log plain
-rw-r--r--	wxmaxima-19.12.2	1156	log plain
-rw-r--r--	wxmaxima-20.01.1	1170	log plain
-rw-r--r--	yacas-1.7.0-r1	1614	log plain
-rw-r--r--	yafu-1.34.3	940	log plain
-rw-r--r--	yafu-9999	1048	log plain
-rw-r--r--	z3-4.8.6	3162	log plain