Doron Behar 01d4e2fe33 treewide: use ffmpeg_3 explicitly if not wanted otherwise ... After making `ffmpeg` point to the latest `ffmpeg_4`, all packages that used `ffmpeg` without requiring a specific version now use ffmpeg_3 explicitly so they shouldn't change.		2020-06-12 11:55:31 -07:00
..
darwin	openjdk: 13.0.2 -> 14.0.1	2020-05-07 18:18:32 +02:00
openjfx	treewide: use ffmpeg_3 explicitly if not wanted otherwise	2020-06-12 11:55:31 -07:00
8.nix	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
11.nix	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
12.nix	openjdk 12: fix possibly-unbound JAVA_HOME	2020-05-07 18:18:32 +02:00
13.nix	treewide: per RFC45, remove more unquoted URLs	2020-05-08 15:20:47 +02:00
bootstrap.nix
currency-date-range-jdk8.patch
currency-date-range-jdk10.patch
default.nix	openjdk: 13.0.2 -> 14.0.1	2020-05-07 18:18:32 +02:00
fix-java-home-jdk8.patch
fix-java-home-jdk10.patch
generate-cacerts.pl
increase-javadoc-heap-jdk13.patch
increase-javadoc-heap.patch
make-bootstrap.nix
read-truststore-from-env-jdk8.patch
read-truststore-from-env-jdk10.patch
swing-use-gtk-jdk8.patch
swing-use-gtk-jdk10.patch
swing-use-gtk-jdk13.patch