jedit: fix build

This commit is contained in:
Vincent Laporte 2015-07-04 13:04:55 +02:00
parent 06efb2e937
commit 2363660191

View File

@ -3,8 +3,8 @@
let let
version = "5.2.0"; version = "5.2.0";
bsh = fetchurl { bsh = fetchurl {
url = http://www.beanshell.org/bsh-2.0b4.jar; url = http://www.beanshell.org/bsh-2.0b5.jar;
sha256 = "1di7hj2yms1m3wa8k70jpw0wzfnrgibpqnvdk33ahfaqi03mqfci"; sha256 = "0p2sxrpzd0vsk11zf3kb5h12yl1nq4yypb5mpjrm8ww0cfaijck2";
}; };
bcpg = fetchurl { bcpg = fetchurl {
url = http://central.maven.org/maven2/org/bouncycastle/bcpg-jdk16/1.46/bcpg-jdk16-1.46.jar; url = http://central.maven.org/maven2/org/bouncycastle/bcpg-jdk16/1.46/bcpg-jdk16-1.46.jar;