| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt | 1 | -1/+1 |
| 2024-01-29 | btor2tools: fix build with gcc 13 | Weijia Wang | 1 | -1/+9 |
| 2022-07-12 | treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' | Artturin | 1 | -0/+5 |
| 2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -1/+1 |
| 2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 |
| 2020-11-29 | btor2tools: fix install_name on darwin | Artur Cygan | 1 | -2/+2 |
| 2020-10-16 | btor2tools: enable unix platforms | Artur Cygan | 1 | -1/+1 |
| 2020-06-08 | btor2tools: pre55 -> 1.0.0-pre | Symphorien Gibol | 1 | -8/+8 |
| 2019-12-12 | btor2tools: correct meta information | Robert Scott | 1 | -2/+2 |
| 2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
| 2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
| 2018-08-15 | btor2tools: init at pre55_8c150b39 | Austin Seipp | 1 | -0/+33 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |