calculate
/
gentoo-full-overlay
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '869f463178'
${ noResults }
gentoo-full-overlay/sci-mathematics
History
root a0c8789af6
Sync with portage [Mon Aug 7 09:17:56 MSK 2023]. 		10 months ago
..
4ti2 Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
abc Sync with portage [Tue Mar 14 21:19:30 MSK 2023]. 1 year ago
acl2 Sync with portage [Fri May 26 09:36:52 MSK 2023]. 1 year ago
alectryon Sync with portage [Fri Mar 3 21:44:16 MSK 2023]. 1 year ago
alt-ergo Sync with portage [Mon Jun 5 23:24:43 MSK 2023]. 12 months ago
arb Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
bertini Sync with portage [Tue Feb 7 08:31:20 MSK 2023]. 1 year ago
boolector Sync with portage [Mon Mar 6 23:30:01 MSK 2023]. 1 year ago
btor2tools Sync with portage [Mon Mar 6 23:30:01 MSK 2023]. 1 year ago
cadabra Sync with portage [Mon Apr 24 12:04:31 MSK 2023]. 1 year ago
cadical Sync with portage [Thu Jan 12 12:26:55 MSK 2023]. 1 year ago
calc Sync with portage [Thu Sep 1 10:16:22 MSK 2022]. 2 years ago
cgal Sync with portage [Tue Jun 20 16:57:00 MSK 2023]. 11 months ago
cliquer Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
coq Sync with portage [Mon Jul 17 16:00:44 MSK 2023]. 10 months ago
coq-mathcomp Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
coq-serapi Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
cryptominisat Sync with portage [Mon Jun 26 11:57:13 MSK 2023]. 11 months ago
cubicle Sync with portage [Thu Mar 9 09:39:08 MSK 2023]. 1 year ago
cudd Sync with portage [Mon Dec 19 23:24:25 MSK 2022]. 1 year ago
cvc4 Sync with portage [Mon Mar 6 23:30:01 MSK 2023]. 1 year ago
dataplot Sync with portage [Mon Oct 24 15:07:44 MSK 2022]. 2 years ago
diagrtb Sync with portage [Mon Oct 24 15:07:44 MSK 2022]. 2 years ago
dsfmt Sync with portage [Thu Oct 7 14:30:50 MSK 2021]. 3 years ago
dunshire Sync with portage [Sat Mar 18 09:46:52 MSK 2023]. 1 year ago
easycrypt Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
eclib Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
ent Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
eprover Sync with portage [Thu Jan 5 16:31:15 MSK 2023]. 1 year ago
euler Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
fann Sync with portage [Mon Feb 14 11:32:30 MSK 2022]. 2 years ago
flint Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
flocq Sync with portage [Wed Apr 12 17:06:48 MSK 2023]. 1 year ago
form Sync with portage [Thu May 25 15:03:35 MSK 2023]. 1 year ago
fricas Sync with portage [Thu Jul 13 15:56:00 MSK 2023]. 10 months ago
frobby Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
gappa Sync with portage [Mon Dec 26 07:10:51 MSK 2022]. 1 year ago
gappalib-coq Sync with portage [Tue Apr 11 12:50:26 MSK 2023]. 1 year ago
genius Sync with portage [Sat Dec 3 18:31:41 MSK 2022]. 1 year ago
geogebra-bin Sync with portage [Mon Jan 23 18:05:15 MSK 2023]. 1 year ago
geomview Sync with portage [Sat Sep 11 18:05:04 MSK 2021]. 3 years ago
gfan Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
giac Sync with portage [Sat Jul 8 00:39:42 MSK 2023]. 11 months ago
gimps Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
ginac Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
glpk Sync with portage [Mon Jun 5 23:24:43 MSK 2023]. 12 months ago
gmm Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
gmp-ecm Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
gp2c Sync with portage [Tue Dec 7 18:11:50 MSK 2021]. 2 years ago
gretl Sync with portage [Mon Oct 24 15:07:44 MSK 2022]. 2 years ago
gsl-shell Sync with portage [Fri Feb 24 18:45:33 MSK 2023]. 1 year ago
jags Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
kind2 Sync with portage [Mon Jun 5 23:24:43 MSK 2023]. 12 months ago
kissat Sync with portage [Tue Feb 21 21:59:18 MSK 2023]. 1 year ago
lcalc Sync with portage [Sun Jul 17 22:40:31 MSK 2022]. 2 years ago
lean Sync with portage [Mon May 29 15:51:23 MSK 2023]. 12 months ago
libpoly Sync with portage [Fri Feb 24 18:45:33 MSK 2023]. 1 year ago
lpsolve Sync with portage [Wed May 3 23:28:52 MSK 2023]. 1 year ago
lrcalc Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
mathematica Sync with portage [Fri Mar 3 21:44:16 MSK 2023]. 1 year ago
mathlib-tools Sync with portage [Fri Feb 24 18:45:33 MSK 2023]. 1 year ago
mathmod Sync with portage [Sat Sep 11 18:05:04 MSK 2021]. 3 years ago
mathomatic Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
maxima Sync with portage [Sun Jul 23 00:02:43 MSK 2023]. 10 months ago
metamath Sync with portage [Wed Jan 26 08:25:16 MSK 2022]. 2 years ago
metamath-databases Sync with portage [Mon Mar 6 23:30:01 MSK 2023]. 1 year ago
minisat Sync with portage [Tue Feb 7 08:31:20 MSK 2023]. 1 year ago
msieve Sync with portage [Sun Jan 30 14:49:04 MSK 2022]. 2 years ago
nauty Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
nestedsums Sync with portage [Sat Sep 11 18:05:04 MSK 2021]. 3 years ago
normaliz Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
num-utils Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
octave Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
octave-epstk Sync with portage [Mon Nov 22 07:10:09 MSK 2021]. 3 years ago
opensmt Sync with portage [Thu Jun 29 09:59:58 MSK 2023]. 11 months ago
otter Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
pari Sync with portage [Wed Aug 2 18:05:51 MSK 2023]. 10 months ago
pari-data Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
petsc Sync with portage [Mon Aug 7 09:17:56 MSK 2023]. 10 months ago
picosat Sync with portage [Mon Jan 30 18:35:10 MSK 2023]. 1 year ago
planarity Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
plfit Sync with portage [Thu May 25 15:03:35 MSK 2023]. 1 year ago
polymake Sync with portage [Sat Jul 8 00:39:42 MSK 2023]. 11 months ago
primecount Sync with portage [Fri Feb 10 23:03:11 MSK 2023]. 1 year ago
primesieve Sync with portage [Fri Feb 10 23:03:11 MSK 2023]. 1 year ago
prng Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
prover9 Sync with portage [Mon Oct 24 15:07:44 MSK 2022]. 2 years ago
psmt2-frontend Sync with portage [Thu Mar 3 10:17:30 MSK 2022]. 2 years ago
pspp Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
rkward Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
rngstreams Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
rw Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
sha1-polyml Sync with portage [Thu Sep 1 10:16:22 MSK 2022]. 2 years ago
singular Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
slepc Sync with portage [Tue Jun 20 16:57:00 MSK 2023]. 11 months ago
smtinterpol Sync with portage [Mon Mar 6 23:30:01 MSK 2023]. 1 year ago
spin Sync with portage [Sat Dec 3 18:31:41 MSK 2022]. 1 year ago
stp Sync with portage [Wed Feb 22 22:01:52 MSK 2023]. 1 year ago
sympow Sync with portage [Sat Sep 11 18:05:04 MSK 2021]. 3 years ago
topcom Sync with portage [Mon May 9 11:15:15 MSK 2022]. 2 years ago
twelf Sync with portage [Mon Oct 24 15:07:44 MSK 2022]. 2 years ago
unuran Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
vampire Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
verit Sync with portage [Fri Mar 11 23:49:00 MSK 2022]. 2 years ago
why3 Sync with portage [Mon Jul 17 08:40:34 MSK 2023]. 10 months ago
why3-for-spark Sync with portage [Thu Apr 6 09:03:08 MSK 2023]. 1 year ago
wxmaxima Sync with portage [Tue Jun 13 12:22:22 MSK 2023]. 12 months ago
yacas Sync with portage [Tue Feb 14 22:27:59 MSK 2023]. 1 year ago
yafu Sync with portage [Sun Jan 23 22:29:17 MSK 2022]. 2 years ago
yices2 Sync with portage [Sat Jan 14 15:58:56 MSK 2023]. 1 year ago
z3 Sync with portage [Mon Apr 10 16:38:24 MSK 2023]. 1 year ago
Manifest.gz Sync with portage [Mon Aug 7 09:17:56 MSK 2023]. 10 months ago
metadata.xml Sync with portage [Sat Sep 11 18:05:04 MSK 2021]. 3 years ago