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/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