Vladimír Čunát 336bc8283b Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" ... This reverts commit c778945806. I believe this is exactly what brings the staging branch into the right shape after the last merge from master (through staging-next); otherwise part of staging changes would be lost (due to being already reachable from master but reverted).		2020-10-26 08:19:17 +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	Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"	2020-10-26 08:19:17 +01:00
tptp.nix	z3-tptp: init	2019-01-22 16:51:18 +01:00