Index of /gentoo/metadata/md5-cache/sci-mathematics

	Name	Last modified	Size	Description
	Parent Directory		-
	verit-2021.06.2	2022-03-10 16:39	320
	gmm-5.4.2	2025-12-19 05:13	335
	rw-0.10	2026-11-12 09:38	349
	picosat-965	2026-09-04 12:44	350
	lrcalc-1.2	2025-12-17 10:42	354
	gp2c-0.0.15	2026-11-05 20:38	361
	lrcalc-2.1	2025-12-17 10:42	361
	gp2c-0.0.12	2021-12-06 02:39	388
	cudd-3.0.0-r3	2026-08-23 05:38	402
	cliquer-1.23	2026-11-07 10:38	404
	sha1-polyml-5.9	2026-09-04 12:44	410
	metamath-databases-2..>	2023-03-04 11:40	420
	planarity-5.0.0.0-r2	2026-11-12 09:38	423
	rngstreams-1.0.1	2026-01-26 08:20	431
	octave-epstk-2.4	2021-11-21 22:39	435
	num-utils-0.5-r2	2023-06-09 11:40	445
	dsfmt-2.2.4	2026-09-04 12:44	448
	dsfmt-2.2.5	2026-09-04 12:44	448
	ent-101202	2026-09-04 12:44	454
	4ti2-1.6.15	2026-09-27 18:38	465
	functions-matlab-col..>	2025-06-20 13:06	481
	kissat-3.1.1-r1	2026-09-04 12:44	481
	sympow-2.023.7	2026-09-04 12:44	483
	kissat-4.0.4	2026-09-04 12:44	484
	lpsolve-5.5.2.11-r2	2026-09-04 12:44	490
	lpsolve-5.5.2.14	2026-09-04 12:44	492
	eprover-3.2.5	2026-09-04 12:44	495
	eprover-3.0.03	2026-09-04 12:44	497
	prover9-2009.11a-r2	2026-09-04 12:44	497
	coq-mathcomp-1.19.0-r1	2025-03-16 20:11	502
	frobby-0.9.0-r4	2026-09-04 12:44	508
	cadical-2.0.0	2026-09-04 12:44	515
	cadical-3.0.0	2026-09-04 12:44	516
	otter-3.3-r4	2026-09-04 12:44	534
	palp-2.21	2026-09-04 12:44	538
	flocq-4.2.1	2026-03-28 14:12	541
	calc-2.13.0.1	2026-09-04 12:44	542
	abc-9999	2026-09-04 12:44	559
	abc-0_p20230313	2026-09-04 12:44	600
	eclib-20261021	2026-11-07 09:08	603
	normaliz-3.9.3	2026-09-04 12:44	613
	normaliz-3.10.5	2026-09-04 12:44	616
	normaliz-3.11.0	2026-09-04 12:44	616
	nestedsums-1.5.2-r1	2026-09-04 12:44	618
	bertini-1.6	2026-09-04 12:44	623
	mathomatic-16.0.5-r1	2026-09-04 12:44	629
	unuran-1.8.1	2026-01-26 08:20	629
	gmp-ecm-7.0.6-r1	2026-09-04 12:44	635
	gappa-1.4.1	2026-03-28 14:12	644
	gappa-1.4.2	2026-03-28 14:12	644
	spin-6.5.2-r1	2026-09-04 12:44	652
	msieve-1.53-r1	2026-09-04 12:44	661
	mathematica-12.2.0	2026-09-04 12:44	672
	acl2-8.6	2026-09-03 04:08	678
	fann-2.2.0-r2	2026-09-08 16:39	681
	mathematica-10.3.1-r2	2026-09-04 12:44	684
	acl2-8.5_p20240307-r1	2026-09-03 04:08	689
	gmp-ecm-7.0.7	2026-11-05 21:08	695
	gfan-0.6.2-r7	2026-09-04 12:44	697
	pari-data-20191216	2025-12-19 05:13	701
	gappalib-coq-1.5.2-r1	2026-03-28 14:12	704
	gappalib-coq-1.5.3	2026-03-28 14:12	704
	coq-stdlib-9.0.0-r1	2026-09-22 04:08	722
	coq-stdlib-9.1.0	2026-09-22 04:08	727
	coq-stdlib-9.2.0	2026-11-11 13:08	727
	fann-9999	2026-09-08 16:39	739
	plfit-1.0.1	2026-09-08 16:39	742
	prng-3.0.2-r4	2026-11-07 13:39	743
	metamath-0.198	2026-11-07 13:39	749
	smtinterpol-2.5_p202..>	2026-06-23 03:38	751
	btor2tools-1.0.0_pre..>	2026-09-08 16:39	757
	gfan-0.6.2-r8	2026-09-04 12:44	763
	yafu-1.34.3-r2	2026-09-04 12:44	764
	gimps-30.8.17	2026-09-04 12:44	766
	clipper2-1.5.3-r1	2026-09-15 12:08	777
	clipper2-1.5.4-r1	2026-09-15 12:08	777
	clipper2-2.0.1	2026-09-15 12:08	778
	twelf-1.7.1-r2	2026-09-04 12:44	785
	msieve-1.53-r3	2026-09-04 12:44	787
	euler-1.61.0-r1	2026-11-07 13:39	797
	proverif-2.05	2026-09-22 04:08	797
	verifpal-0.27.0	2026-09-04 12:44	797
	proverif-9999	2026-09-22 04:08	807
	proverif-2.04-r1	2026-09-22 04:08	811
	minisat-2.2.1-r1	2026-09-08 16:39	827
	gfan-0.8_beta1	2026-09-04 12:44	833
	lcalc-2.2.2	2026-11-11 07:38	840
	ginac-1.8.10	2026-09-30 15:09	865
	psmt2-frontend-0.4.0	2026-09-22 04:08	865
	kind2-1.9.0	2026-09-22 04:08	881
	primecount-8.0	2026-09-08 16:39	883
	gimps-30.8.15	2026-09-04 12:44	889
	primesieve-12.3	2026-09-08 16:39	893
	geogebra-bin-5.0.752.0	2026-08-21 08:38	895
	mathmod-13.0-r1	2026-10-09 16:38	896
	arb-2.23.0	2026-09-08 16:39	912
	gimps-30.19.20	2026-09-04 12:44	919
	vampire-5.0.1	2026-09-08 16:39	919
	gimps-30.19.14	2026-09-04 12:44	920
	singular-4.4.1-r1	2026-09-03 04:08	961
	singular-4.4.1_p5	2026-11-06 16:08	964
	4ti2-1.6.10-r1	2026-11-07 13:39	1.0K
	unuran-1.12.0	2026-11-07 13:39	1.0K
	jags-4.3.1-r1	2026-11-07 13:39	1.0K
	normaliz-3.10.1	2026-11-07 13:39	1.0K
	yices2-2.6.5	2026-11-07 13:39	1.0K
	yices2-2.7.0	2026-11-07 13:39	1.0K
	pari-2.17.4	2026-09-27 15:08	1.0K
	opensmt-2.7.0	2026-09-08 16:39	1.0K
	opensmt-2.9.2	2026-09-08 16:39	1.0K
	pari-2.15.5	2026-09-04 12:44	1.0K
	pari-2.17.1	2026-09-04 12:44	1.0K
	topcom-1.1.2	2026-11-07 13:39	1.0K
	geomview-1.9.5-r1	2026-09-04 12:44	1.0K
	slepc-3.22.1	2026-09-30 15:09	1.0K
	mathematica-13.0.1	2026-11-09 07:38	1.0K
	unuran-1.9.0	2026-11-07 13:39	1.0K
	highs-1.14.0-r3	2026-09-08 16:39	1.0K
	nauty-2.8.8-r1	2026-11-07 13:39	1.0K
	slepc-3.23.1	2026-09-30 15:09	1.0K
	slepc-3.24.2	2026-09-30 15:09	1.0K
	nauty-2.9.3	2026-11-07 13:39	1.0K
	eclib-20250627	2026-11-07 13:39	1.0K
	flint-3.5.0	2026-09-30 15:09	1.1K
	slepc-3.25.1	2026-09-30 15:09	1.1K
	glpk-5.0-r5	2026-11-12 14:38	1.1K
	flint-3.6.0	2026-11-04 19:38	1.1K
	yacas-1.9.1-r3	2026-09-08 16:39	1.1K
	topcom-0.17.8-r3	2026-11-07 13:39	1.1K
	cgal-5.6	2026-09-08 16:39	1.1K
	cgal-6.0	2026-09-08 16:39	1.1K
	cgal-5.6.1	2026-09-08 16:39	1.1K
	cubicle-1.2.0-r2	2026-11-07 13:39	1.1K
	gap-4.15.1	2026-05-06 11:38	1.1K
	gap-4.16.1	2026-08-24 16:08	1.1K
	cgal-6.1.1	2026-09-15 12:08	1.1K
	cgal-6.1	2026-09-08 16:39	1.1K
	cgal-6.0.1	2026-09-08 16:39	1.1K
	lean-4.24.0	2026-09-30 15:09	1.1K
	wxmaxima-25.04.0-r2	2026-09-08 16:39	1.2K
	wxmaxima-26.01.0	2026-09-08 16:39	1.2K
	wxmaxima-26.05.0-r1	2026-09-08 16:39	1.2K
	easycrypt-2026.05	2026-09-22 04:08	1.2K
	easycrypt-2026.06	2026-09-22 04:08	1.2K
	cgal-9999	2026-09-15 12:08	1.2K
	mathematica-13.2.1-r1	2026-11-09 07:38	1.2K
	wxmaxima-26.06.2	2026-09-08 16:39	1.2K
	cvc4-1.8-r7	2026-09-30 15:09	1.2K
	alt-ergo-2.4.3-r3	2026-09-22 04:08	1.2K
	mathematica-13.1.0-r1	2026-11-09 07:38	1.2K
	dataplot-20131220	2026-11-07 13:39	1.3K
	libpoly-0.1.11	2026-09-30 15:09	1.3K
	coq-9.1.0-r1	2026-09-22 04:08	1.3K
	coq-9.1.1	2026-09-22 04:08	1.3K
	coq-9.2.0	2026-09-22 04:08	1.3K
	coq-9.3.0	2026-11-11 13:08	1.3K
	cgal-6.2	2026-09-15 12:08	1.4K
	coq-serapi-0.20.0	2026-09-22 04:08	1.4K
	coq-8.17.1-r1	2026-09-22 04:08	1.4K
	coq-8.19.2-r1	2026-09-22 04:08	1.4K
	coq-8.20.0-r1	2026-09-22 04:08	1.4K
	fricas-1.4.0	2026-10-22 05:08	1.4K
	fricas-1.3.13	2026-09-03 04:08	1.4K
	geogebra-bin-6.0.804..>	2026-06-23 11:39	1.5K
	pspp-1.6.2-r3	2026-09-30 15:09	1.5K
	gsl-shell-2.3.5	2026-11-10 17:38	1.5K
	pspp-2.0.1-r1	2026-09-30 15:09	1.5K
	mathematica-13.3.1-r2	2026-11-09 07:38	1.6K
	mathematica-14.0.0-r3	2026-11-09 07:38	1.6K
	mathematica-14.1.0-r2	2026-11-09 07:38	1.7K
	form-5.0.0	2026-11-07 13:39	1.7K
	form-5.0.2	2026-11-10 22:38	1.7K
	polymake-4.15	2026-09-04 12:44	1.7K
	genius-1.0.27-r1	2026-11-07 13:39	1.7K
	genius-1.0.29	2026-11-07 13:39	1.7K
	mathematica-14.2.1-r1	2026-11-09 07:38	1.7K
	mathematica-14.3.0-r1	2026-11-09 07:38	1.7K
	mathematica-15.0.1	2026-11-09 07:38	1.7K
	gretl-2021d	2026-09-04 12:44	1.8K
	why3-1.6.0	2026-11-07 13:39	1.9K
	why3-1.7.2	2026-11-07 13:39	1.9K
	cryptominisat-5.11.2..>	2026-11-05 12:08	1.9K
	stp-2.3.4-r1	2026-09-30 15:09	1.9K
	giac-1.9.0.995-r2	2026-11-07 13:39	1.9K
	why3-1.8.0	2026-11-07 13:39	1.9K
	why3-1.8.1	2026-11-07 13:39	1.9K
	why3-1.8.2	2026-11-07 13:39	1.9K
	petsc-3.22.2	2026-09-30 15:09	2.0K
	why3-for-spark-2023...>	2026-11-07 13:39	2.0K
	petsc-3.23.3	2026-09-30 15:09	2.1K
	petsc-3.23.4	2026-09-30 15:09	2.1K
	petsc-3.24.5	2026-09-30 15:09	2.1K
	petsc-3.25.1	2026-09-30 15:09	2.1K
	dunshire-0.1.3-r3	2026-11-05 12:08	2.3K
	manifold-3.1.0-r1	2026-09-30 15:09	2.4K
	manifold-9999	2026-09-30 15:09	2.5K
	manifold-3.2.1	2026-09-30 15:09	2.5K
	manifold-3.5.2	2026-09-30 15:09	2.5K
	z3-5.1.0	2026-09-30 15:09	2.6K
	z3-5.3.0	2026-10-15 05:38	2.6K
	z3-5.3.1	2026-10-16 00:38	2.6K
	z3-5.3.2	2026-10-26 02:38	2.6K
	z3-5.3.3	2026-10-30 00:08	2.6K
	z3-5.4.1	2026-11-11 02:38	2.6K
	rkward-0.8.3	2026-09-08 16:39	2.7K
	alectryon-2.0.0-r1	2026-11-05 12:08	2.9K
	maxima-5.47.0-r2	2026-11-07 13:39	3.0K
	maxima-5.49.0	2026-11-07 13:39	3.1K
	maxima-5.50.0	2026-11-07 13:39	3.1K
	cadabra-2.5.14_p1-r2	2026-09-30 15:09	3.7K
	octave-11.1.0	2026-09-04 12:44	3.9K
	octave-9.2.0-r2	2026-11-07 13:39	4.2K
	Manifest.gz	2026-11-12 17:08	34K