My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

R. RyanTM caa56925f9 yices: 2.6.2 -> 2.6.4 ... (#143311)		2 years ago
..
default.nix	yices: 2.6.2 -> 2.6.4	2 years ago
linux-no-ldconfig.patch	yices: drop symlink hack, avoid ldconfig on linux	3 years ago