| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-03-18 | upgpkg: spark2014-git 0.3.draft.r23092.g3e6f33a5e9-1 | nytpu | |
| spark2014-git: fix building on recent versions | |||
| 2022-12-03 | upgpkg: spark2014-git 0.3.draft.r23009.gcf9fcdf75f-1 | nytpu | |
| Bump Version | |||
| 2022-12-03 | upgpkg: spark2014-git 0.3.draft.r22985.g5631f0e48f-1 | nytpu | |
| use python3 instead of python2 | |||
| 2022-11-26 | upgpkg: spark2014-git 0.3.draft.r22985.g5631f0e48f-1 | nytpu | |
| Fix issue with loading git submodule from local directory | |||
| 2022-11-26 | upgpkg: spark2014-git 0.3.draft.r22985.g5631f0e48f-1 | nytpu | |
| change makedepends array | |||
| 2022-08-25 | upgpkg: spark2014-git 0.3.draft.r22640.gef5fb19e20-1 | nytpu | |
| Fix patches for new SPARK2014 versions | |||
| 2022-05-15 | upgpkg: spark2014-git 0.3.draft.r22234.g1895e0e8d1-1 | nytpu | |
| spark2014-git: fix makedepends | |||
| 2022-05-12 | upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-3 | nytpu | |
| upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-3 upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-2 spark2014-git: fix typo | |||
| 2022-05-12 | upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-1 | nytpu | |
| upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-1 spark2014-git: update maintainer and version information | |||
| 2022-05-12 | upgpkg: spark2014-git 0.3.draft.r19318.g3559419bef-4 | nytpu | |
| upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-1 Update patch to work on latest version | |||
| 2020-05-29 | move gprbuild to makedepends | Simon Schubert | |
| 2020-05-25 | use ocaml-zip, which is a newer version with bugfixes | Simon Schubert | |
| 2020-05-23 | fix install issues | Simon Schubert | |
| 2020-05-21 | update to gcc 10.1/gnat 2020 | Simon Schubert | |
| 2019-01-10 | spark2014: switch to fsf branch | Earnestly | |
| 2018-08-21 | spark2014: sa_messages.ad[sb] added from codepeer | Earnestly | |
| Files needed to build gnatprove are now provided in the gcc tree itself. https://github.com/AdaCore/spark2014/issues/5 | |||
| 2018-08-07 | introduce spark2014 | Earnestly | |