sci-mathematics « md5-cache « metadata - portage

Mode	Name	Size
-rw-r--r--	4ti2-1.6.7	763	log plain
-rw-r--r--	Manifest.gz	19045	log plain
-rw-r--r--	agda-2.6.1.2	5381	log plain
-rw-r--r--	agda-stdlib-2.6.1.2.1.4	1027	log plain
-rw-r--r--	alt-ergo-2.3.0	805	log plain
-rw-r--r--	arb-2.17.0	648	log plain
-rw-r--r--	arb-2.18.1	1113	log plain
-rw-r--r--	bertini-1.4	726	log plain
-rw-r--r--	calc-2.12.5.4	569	log plain
-rw-r--r--	cgal-5.1	1636	log plain
-rw-r--r--	cgal-5.2	1636	log plain
-rw-r--r--	cliquer-1.21	375	log plain
-rw-r--r--	cliquer-1.22	377	log plain
-rw-r--r--	coq-8.11.2	1043	log plain
-rw-r--r--	coq-8.12.0-r1	1041	log plain
-rw-r--r--	coq-8.13.0	978	log plain
-rw-r--r--	coq-8.6.1-r1	1404	log plain
-rw-r--r--	coq-8.9.1-r1	932	log plain
-rw-r--r--	cvc4-1.7-r1	1355	log plain
-rw-r--r--	dataplot-20131220	1314	log plain
-rw-r--r--	diagrtb-2.64	1054	log plain
-rw-r--r--	dunshire-0.1.1-r1	1951	log plain
-rw-r--r--	eclib-20190909	642	log plain
-rw-r--r--	ent-101202	818	log plain
-rw-r--r--	euler-1.61.0-r1	690	log plain
-rw-r--r--	fann-2.2.0-r1	1153	log plain
-rw-r--r--	fann-9999	1140	log plain
-rw-r--r--	flint-2.5.2-r1	687	log plain
-rw-r--r--	flint-2.6.3	1253	log plain
-rw-r--r--	flint-2.7.1	1305	log plain
-rw-r--r--	flintqs-1.0	378	log plain
-rw-r--r--	form-4.2.1	962	log plain
-rw-r--r--	fricas-1.3.6	1185	log plain
-rw-r--r--	frobby-0.9.0-r2	523	log plain
-rw-r--r--	genius-1.0.25	2034	log plain
-rw-r--r--	geogebra-bin-5.0.604.0-r2	867	log plain
-rw-r--r--	geomview-1.9.5-r1	1189	log plain
-rw-r--r--	gfan-0.6.2	816	log plain
-rw-r--r--	gfan-0.6.2-r1	818	log plain
-rw-r--r--	ggnfs-0.77.1-r2	1149	log plain
-rw-r--r--	gimps-30.3.6	762	log plain
-rw-r--r--	gimps-30.4.9	685	log plain
-rw-r--r--	ginac-1.7.11	766	log plain
-rw-r--r--	glpk-4.65	1251	log plain
-rw-r--r--	glpk-5.0	1257	log plain
-rw-r--r--	gmm-5.1	925	log plain
-rw-r--r--	gmm-5.3	677	log plain
-rw-r--r--	gmp-ecm-7.0.4-r2	757	log plain
-rw-r--r--	gmp-ecm-7.0.4-r3	798	log plain
-rw-r--r--	gmp-ecm-9999	1325	log plain
-rw-r--r--	gp2c-0.0.11.3	389	log plain
-rw-r--r--	gp2c-0.0.12	389	log plain
-rw-r--r--	gretl-1.9.90	2114	log plain
-rw-r--r--	gsl-shell-2.3.0_beta1	697	log plain
-rw-r--r--	jags-4.2.0	1016	log plain
-rw-r--r--	lpsolve-5.5.2.0	418	log plain
-rw-r--r--	lrcalc-1.2	364	log plain
-rw-r--r--	lrcalc-2.0	366	log plain
-rw-r--r--	mathematica-10.3.1-r1	642	log plain
-rw-r--r--	mathematica-12.1.0	642	log plain
-rw-r--r--	mathematica-12.1.1-r1	642	log plain
-rw-r--r--	mathmod-4.1-r1	690	log plain
-rw-r--r--	mathomatic-16.0.5	1036	log plain
-rw-r--r--	maxima-5.42.1	2549	log plain
-rw-r--r--	maxima-5.44.0	2580	log plain
-rw-r--r--	minisat-2.2.0_p20130925-r1	656	log plain
-rw-r--r--	msieve-1.53-r1	666	log plain
-rw-r--r--	msieve-9999	1072	log plain
-rw-r--r--	nauty-2.6.7	938	log plain
-rw-r--r--	nestedsums-1.5.2-r1	800	log plain
-rw-r--r--	normaliz-3.1.3	646	log plain
-rw-r--r--	normaliz-3.3.0	1216	log plain
-rw-r--r--	num-utils-0.5-r2	447	log plain
-rw-r--r--	octave-5.2.0	4304	log plain
-rw-r--r--	octave-6.1.0-r1	4406	log plain
-rw-r--r--	octave-epstk-2.4	601	log plain
-rw-r--r--	otter-3.3-r3	735	log plain
-rw-r--r--	pari-2.11.4	1147	log plain
-rw-r--r--	pari-2.13.0	1151	log plain
-rw-r--r--	pari-data-20191216	729	log plain
-rw-r--r--	petsc-3.13.1	2120	log plain
-rw-r--r--	planarity-3.0.0.5	368	log plain
-rw-r--r--	polymake-3.0_p2	1710	log plain
-rw-r--r--	prng-3.0.2-r2	649	log plain
-rw-r--r--	prover9-2009.11a	677	log plain
-rw-r--r--	psmt2-frontend-0.2	835	log plain
-rw-r--r--	pspp-1.2.0-r1	1643	log plain
-rw-r--r--	pspp-1.4.1	1636	log plain
-rw-r--r--	relational-2.5-r2	1494	log plain
-rw-r--r--	rkward-0.7.2	2529	log plain
-rw-r--r--	rngstreams-1.0.1	430	log plain
-rw-r--r--	rstudio-1.3.1093	3785	log plain
-rw-r--r--	rw-0.8-r3	705	log plain
-rw-r--r--	rw-0.9	377	log plain
-rw-r--r--	sha1-polyml-5.6_p1	402	log plain
-rw-r--r--	singular-4.0.2	1813	log plain
-rw-r--r--	singular-4.0.3	1816	log plain
-rw-r--r--	slepc-3.13.1	1014	log plain
-rw-r--r--	spin-6.4.5	973	log plain
-rw-r--r--	sympow-2.023.6	493	log plain
-rw-r--r--	topcom-0.17.7	1095	log plain
-rw-r--r--	twelf-1.7.1-r1	1176	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-r2	1195	log plain
-rw-r--r--	why3-for-spark-2020	1665	log plain
-rw-r--r--	wxmaxima-18.11.4	1441	log plain
-rw-r--r--	wxmaxima-20.12.2	1250	log plain
-rw-r--r--	wxmaxima-21.01.0	1250	log plain
-rw-r--r--	yacas-1.7.0-r1	1736	log plain
-rw-r--r--	yafu-1.34.3	1062	log plain
-rw-r--r--	yafu-9999	1102	log plain
-rw-r--r--	z3-4.8.10	2536	log plain
-rw-r--r--	z3-4.8.9	2530	log plain