R. RyanTM caa56925f9 yices: 2.6.2 -> 2.6.4 ... (#143311)		2022-01-02 10:15:42 +01:00
..
default.nix	yices: 2.6.2 -> 2.6.4	2022-01-02 10:15:42 +01:00
linux-no-ldconfig.patch	yices: drop symlink hack, avoid ldconfig on linux	2021-10-31 09:08:41 +01:00