about summary refs log tree commit diff
path: root/pkgs/development/tools/analysis/ikos/default.nix
AgeCommit message (Expand)AuthorFilesLines
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-1/+2
2020-09-30ikos: 2.1 → 3.0Vincent Laporte1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-30treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren1-1/+1
2018-12-12ikos: init at 2.1Etienne Laurin1-0/+36