Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-08-07 | fast-downward: 22.12.0 -> 23.06.0 | R. Ryantm | 1 | -2/+2 | |
2022-12-17 | fast-downward: 22.06.1 -> 22.12.0 | R. Ryantm | 1 | -2/+2 | |
2022-10-10 | treewide: optional -> optionals where the argument is a list | Artturin | 1 | -1/+1 | |
the argument to optional should not be list | |||||
2022-09-16 | fast-downward: 22.06.0 -> 22.06.1 | R. Ryantm | 1 | -2/+2 | |
2022-07-08 | fast-downward: 21.12.0 -> 22.06.0 | R. Ryantm | 1 | -2/+2 | |
2022-04-16 | fast-downward: substitute version, fix buildInputs, minor cleanup | Sandro Jäckel | 1 | -7/+6 | |
2022-04-16 | fast-downward: 19.12 → 21.12.0 | Fabián Heredia Montiel | 1 | -7/+15 | |
2021-12-29 | treewide: fix homepages with permanent redirect to https | Ben Siraphob | 1 | -1/+1 | |
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -1/+1 | |
Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix | |||||
2021-01-03 | treewide: remove enableParallelBuilding = true if using cmake | Ben Siraphob | 1 | -2/+0 | |
2020-06-15 | fastdownward: 2019-05-13 -> 19.12 | Steve Purcell | 1 | -8/+15 | |
- Use supplied build.py mechanism instead of working around it - Freeze release location into resulting Python so fast-downward script actually works | |||||
2020-06-14 | fast-downward: also build on darwin | Steve Purcell | 1 | -1/+1 | |
2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 | |
2019-06-24 | fast-downward: init at 2019-05-13 | Nikolay Amiantov | 1 | -0/+55 | |