Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-01-13 | z3_4_4_0: remove, z3_4_7: remove | Aaron Jheng | 1 | -43/+0 |
2022-06-23 | z3_4_4_0: Fix build on darwin. | Shea Levy | 1 | -0/+2 |
2022-03-23 | treewide: rename name to pname&version | Felix Buehler | 1 | -1/+1 |
2021-10-13 | treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate | Alyssa Ross | 1 | -1/+1 |
2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -4/+4 |
2020-11-27 | treewide: ran ./maintainers/scripts/update_redirected_urls.sh | Patrick Hilhorst | 1 | -1/+1 |
2020-10-03 | z3_4_4_0: add old version for Isabelle | Jakub Kądziołka | 1 | -0/+41 |