Symphorien Gibol d7103eadc8 boolector: 1.{5,6} -> 2.4.1		2017-07-18 23:50:31 +02:00
..
default.nix	boolector: 1.{5,6} -> 2.4.1	2017-07-18 23:50:31 +02:00