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/frama-c: quote FILESDIR variableAndrew Ammerlaan2022-09-081-1/+1
* sci-mathematics/frama-c-reduc: Update ManifestYuan Liao2022-08-231-0/+1
* sci-mathematics/frama-c: bump to 25.0François-Xavier Carton2022-08-1963-0/+1641
* sci-mathematics/minisat+: update HOMEPAGE, SRC_URIAnna (cybertailor) Vyalkova2022-06-052-10/+15
* sci-mathematics/clasp: add manpageAlessandro Barbieri2022-06-022-2/+77
* sci-mathematics/chaco: fix octave fileAlessandro Barbieri2022-05-312-0/+12
* sci-mathematics/frama-c: fix CFLAGS replacementFrançois-Xavier Carton2022-05-311-1/+1
* sci-mathematics/radian: bump pythonAlessandro Barbieri2022-05-293-55/+1
* sci-mathematics/clingo: enable py3.11Alessandro Barbieri2022-05-281-1/+1
* sci-mathematics/qepcad: add subslotAlessandro Barbieri2022-05-282-2/+2
* sci-mathematics/clasp: use httpsAlessandro Barbieri2022-05-251-1/+1
* sci-mathematics/radian: add 0.6.3, drop 0.6.0Alessandro Barbieri2022-05-252-3/+4
* sci-mathematics/frama-c-*: force gtk USE to match frama-c coreFrançois-Xavier Carton2022-05-2422-46/+46
* sci-mathematics/frama-c: better fix for flags issueFrançois-Xavier Carton2022-05-242-3/+15
* sci-mathematics/frama-c: respect CFLAGSFrançois-Xavier Carton2022-05-241-0/+1
* sci-mathematics/chaco: correctly install m filesAlessandro Barbieri2022-05-241-1/+1
* sci-mathematics/clingo: system catchAlessandro Barbieri2022-05-242-3/+32
* sci-mathematics/frama-c-wp: add why3<1.5.0 restrictionFrançois-Xavier Carton2022-05-072-2/+4
* sci-mathematics/clingo: add 5.5.2, drop 5.5.1-r1Alessandro Barbieri2022-05-063-48/+3
* sci-mathematics/clingo: system catchAlessandro Barbieri2022-05-061-2/+9
* 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