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/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
* sci-mathematics/mathlib-tools: add lean slotMaciej Barć2021-10-211-1/+1
* sci-mathematics/mathlib-tools: add version 1.1.0Maciej Barć2021-10-203-0/+63
* sci-mathematics/why3: update SRC_URIFrançois-Xavier Carton2021-10-012-2/+2
* sci-mathematics/chaco: change file layoutAlessandro Barbieri2021-09-071-2/+4
* sci-mathematics/chaco: mbdyn patch, build shared libraryAlessandro Barbieri2021-09-075-29/+114
* sci-mathematics/the-omega-project: respect LDFLAGS, build PIEAlessandro Barbieri2021-09-052-2/+21
* sci-mathematics/why3: no need to die with emakeFrançois-Xavier Carton2021-09-042-2/+2
* sci-mathematics/frama-c: split plugins from main ebuildFrançois-Xavier Carton2021-09-0491-61/+1812
* sci-mathematics/frama-c: bump to 23.1François-Xavier Carton2021-09-042-0/+106
* sci-mathematics/the-omega-project: reverse gui logicAlessandro Barbieri2021-08-081-1/+1
* sci-mathematics/the-omega-project: rename patchAlessandro Barbieri2021-08-082-1/+1
* sci-mathematics/the-omega-project: initial importAlessandro Barbieri2021-08-087-0/+373
* */*: add lang="en" to <longdescription>Alessandro Barbieri2021-06-282-2/+2
* sci-mathematics/frama-c: fix AR and RANLIBAnna Vyalkova2021-05-161-1/+7
* sci-mathematics/chaco: fix CCAnna Vyalkova2021-05-161-4/+9
* sci-mathematics/*: inherit findlib eclassAnna Vyalkova2021-05-023-12/+7
* sci-mathematics/frama-c: respect CFLAGSFrançois-Xavier Carton2021-04-191-0/+1
* sci-mathematics/why3: respect CFLAGS & LDFLAGSFrançois-Xavier Carton2021-04-192-0/+6
* sci-mathematics/chaco: it's not a libraruAlessandro Barbieri2021-04-124-0/+60
* sci-mathematics/frama-c: doesn't build with why3-1.4.0François-Xavier Carton2021-03-301-1/+1
* sci-mathematics/why3: bump to 1.4.0François-Xavier Carton2021-03-303-0/+85
* sci-mathematics/frama-c: add MissingUseDepDefaultAndrew Ammerlaan2021-03-281-2/+2
* sci-mathematics/frama-c: new packageFrançois-Xavier Carton2021-01-093-0/+153
* sci-mathematics/why3: new packageFrançois-Xavier Carton2021-01-093-0/+108