Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-21 | ikos: fix build with GCC 13 | Vincent Laporte | 1 | -2/+10 |
2023-08-02 | ikos: 3.0 → 3.1 | Vincent Laporte | 1 | -2/+2 |
2023-08-02 | ikos: fix build | Vincent Laporte | 1 | -1/+6 |
2022-02-01 | treewide: rename name to pname&version | Felix Buehler | 1 | -2/+2 |
2021-01-01 | treewide: cmake buildInputs to nativeBuildInputs, minor cleanups | Ben Siraphob | 1 | -1/+2 |
2020-09-30 | ikos: 2.1 → 3.0 | Vincent Laporte | 1 | -4/+4 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2019-12-30 | treewide: replace make/build/configure/patchFlags with nix lists | Merijn Broeren | 1 | -1/+1 |
2018-12-12 | ikos: init at 2.1 | Etienne Laurin | 1 | -0/+36 |