summary refs log tree commit diff
path: root/pkgs/applications/science/logic/aiger
Commit message (Expand)AuthorAge
* aiger: fix stupid incorrect download linkAustin Seipp2017-10-16
* nixpkgs: add aiger 1.9.9Austin Seipp2017-10-16
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-08 12:42:28 +0000