Vladimír Čunát c778945806 Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" ... I'm sorry; I didn't notice it contained staging commits. This reverts commit 17f5305b6c, reversing changes made to a8a018ddc0.		2020-10-25 09:41:51 +01:00
..
4.4.0.nix	z3_4_4_0: add old version for Isabelle	2020-10-03 21:32:22 +02:00
default.nix	Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"	2020-10-25 09:41:51 +01:00
tptp.nix	z3-tptp: init	2019-01-22 16:51:18 +01:00