| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/frama-c: fix AR and RANLIB |  Anna Vyalkova | 2021-05-16 | 1 | -1/+7 |
* | sci-mathematics/chaco: fix CC |  Anna Vyalkova | 2021-05-16 | 1 | -4/+9 |
* | sci-mathematics/*: inherit findlib eclass |  Anna Vyalkova | 2021-05-02 | 3 | -12/+7 |
* | sci-mathematics/frama-c: respect CFLAGS |  François-Xavier Carton | 2021-04-19 | 1 | -0/+1 |
* | sci-mathematics/why3: respect CFLAGS & LDFLAGS |  François-Xavier Carton | 2021-04-19 | 2 | -0/+6 |
* | sci-mathematics/chaco: it's not a libraru |  Alessandro Barbieri | 2021-04-12 | 4 | -0/+60 |
* | sci-mathematics/frama-c: doesn't build with why3-1.4.0 |  François-Xavier Carton | 2021-03-30 | 1 | -1/+1 |
* | sci-mathematics/why3: bump to 1.4.0 |  François-Xavier Carton | 2021-03-30 | 3 | -0/+85 |
* | sci-mathematics/frama-c: add MissingUseDepDefault |  Andrew Ammerlaan | 2021-03-28 | 1 | -2/+2 |
* | sci-mathematics/frama-c: new package |  François-Xavier Carton | 2021-01-09 | 3 | -0/+153 |
* | sci-mathematics/why3: new package |  François-Xavier Carton | 2021-01-09 | 3 | -0/+108 |