Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/aspcud: includedir for catchAlessandro Barbieri2022-05-061-1/+2
* sci-mathematics/clasp: includedir for catch2Alessandro Barbieri2022-05-061-1/+2
* sci-mathematics/minisatp: fix executable nameAlessandro Barbieri2022-05-061-1/+1
* sci-mathematics/clingo: fix for new claspAlessandro Barbieri2022-05-032-26/+16
* sci-mathematics/clasp: add 3.3.8, drop 3.3.7Alessandro Barbieri2022-05-034-44/+1
* sci-mathematics/clasp: use system catchAlessandro Barbieri2022-05-031-1/+9
* sci-mathematics/aspcud: drop 1.9.5Alessandro Barbieri2022-05-032-44/+0
* sci-mathematics/mccs: respect ARAlessandro Barbieri2022-05-032-1/+13
* sci-mathematics/minisatp: fix rpathAlessandro Barbieri2022-05-031-0/+3
* sci-mathematics/aspcud: add 1.9.6Alessandro Barbieri2022-05-023-0/+63
* sci-mathematics/qepcad: version with patchesAlessandro Barbieri2022-05-022-4/+2
* sci-mathematics/radian: fix patch nameAlessandro Barbieri2022-05-021-1/+1
* */*: move sci-mathematics/libpotassco to sci-libs/libpotasscoAlessandro Barbieri2022-05-025-48/+2
* sci-mathematics/qepcad: add 1.72b_p20220502, drop 1.72b_p20220501Alessandro Barbieri2022-05-022-2/+2
* sci-mathematics/qepcad: fix typoAlessandro Barbieri2022-05-011-1/+1
* sci-mathematics/qepcad: new package, add 1.72b_p20220501Alessandro Barbieri2022-05-013-0/+73
* sci-mathematics/radian: add 0.6.1Alessandro Barbieri2022-04-292-0/+54
* sci-mathematics/packup: swap {R,}DEPEND logicAlessandro Barbieri2022-04-291-3/+3
* sci-mathematics/mccs: swap {R,}DEPEND logicAlessandro Barbieri2022-04-291-3/+3
* sci-mathematics/aspcud: swap {R,}DEPEND logicAlessandro Barbieri2022-04-291-3/+3
* sci-mathematics/aspcud: add cudf solvers file from debianAlessandro Barbieri2022-04-292-4/+13
* sci-mathematics/mccs: add cudf solvers files from debianAlessandro Barbieri2022-04-293-6/+15
* sci-mathematics/minisatp: new package, add 0.1_p20121002Alessandro Barbieri2022-04-295-0/+125
* sci-mathematics/packup: new package, add 0.6Alessandro Barbieri2022-04-298-0/+313
* sci-mathematics/minisat+: new package, add 2007.01.05Alessandro Barbieri2022-04-297-0/+237
* sci-mathematics/clingo: fix headerAlessandro Barbieri2022-04-281-1/+1
* sci-mathematics/mccs: new package, add 1.1Alessandro Barbieri2022-04-286-0/+134
* sci-mathematics/aspcud: new package, add 1.9.5Alessandro Barbieri2022-04-283-0/+50
* sci-mathematics/clingo: new package, add 5.5.1Alessandro Barbieri2022-04-284-0/+152
* sci-mathematics/clasp: new package, add 3.3.7Alessandro Barbieri2022-04-285-0/+97
* sci-mathematics/libpotassco: new package, add 0_pre20200612Alessandro Barbieri2022-04-283-0/+46
* sci-mathematics/radian: fix testsAlessandro Barbieri2022-04-191-6/+15
* sci-mathematics/radian: update SRC_URIAlessandro Barbieri2022-04-162-2/+2
* sci-mathematics/radian: initial importAlessandro Barbieri2022-04-154-0/+89
* sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318Alessandro Barbieri2022-03-263-88/+0
* sci-mathematics/lean-mathlib: add 0.1_p20220324Alessandro Barbieri2022-03-262-0/+44
* sci-mathematics/lean-mathlib: add 0.1_p20220318Alessandro Barbieri2022-03-192-0/+44
* sci-mathematics/frama-c: bump to 24.0François-Xavier Carton2022-01-1362-0/+1614
* sci-mathematics/frama-c-wp: add missing variableFrançois-Xavier Carton2022-01-131-0/+1
* sci-mathematics/frama-c: drop UnusedInheritsAndrew Ammerlaan2021-12-151-1/+1
* sci-mathematics/frama-c: drop oldAndrew Ammerlaan2021-12-153-138/+0
* sci-mathematics/why3: moved to ::gentooAndrew Ammerlaan2021-12-154-199/+0
* sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/leanAndrew Ammerlaan2021-12-011-1/+1
* sci-mathematics: move mathlib-tools to ::gentooMaciej Barć2021-11-263-69/+0
* sci-mathematics: moved metamath to ::gentooMaciej Barć2021-11-264-63/+0
* sci-mathematics/mathlib-tools: remove problematic testsMaciej Barć2021-10-251-2/+8
* sci-mathematics/lean-mathlib: remove empty longdescriptionArthur Zamarin2021-10-241-2/+0
* sci-mathematics/lean-mathlib: fix doc installAlessandro Barbieri2021-10-231-1/+1
* sci-mathematics/lean-mathlib: initial importAlessandro Barbieri2021-10-223-0/+59
* sci-mathematics/metamath: add verison 0.198Maciej Barć2021-10-224-0/+63