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