2 commits

Author	SHA1	Message	Date
Austin Seipp	cd52a3d53c	aiger: fix stupid incorrect download link ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2017-10-16 13:01:51 -05:00
Austin Seipp	635fbcbd33	nixpkgs: add aiger 1.9.9 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2017-10-16 12:01:17 -05:00