diff options
| author | Pavan Rikhi <pavan.rikhi+agit@gmail.com> | 2015-01-07 02:13:59 -0500 |
|---|---|---|
| committer | Pavan Rikhi <pavan.rikhi+agit@gmail.com> | 2015-01-07 02:15:26 -0500 |
| commit | 56ea7c41289c7772d8b01b6e90194d1b8e9fe348 (patch) | |
| tree | 74d68e0aa969db17c3e06121556e38e91dbe1d59 /pkgs/applications/science | |
| parent | 5a228d4b4c09c3527f72c8841af1dff631f038eb (diff) | |
| download | nixlib-56ea7c41289c7772d8b01b6e90194d1b8e9fe348.tar nixlib-56ea7c41289c7772d8b01b6e90194d1b8e9fe348.tar.gz nixlib-56ea7c41289c7772d8b01b6e90194d1b8e9fe348.tar.bz2 nixlib-56ea7c41289c7772d8b01b6e90194d1b8e9fe348.tar.lz nixlib-56ea7c41289c7772d8b01b6e90194d1b8e9fe348.tar.xz nixlib-56ea7c41289c7772d8b01b6e90194d1b8e9fe348.tar.zst nixlib-56ea7c41289c7772d8b01b6e90194d1b8e9fe348.zip | |
matita_130312: mark as broken
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/matita/130312.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/matita/130312.nix b/pkgs/applications/science/logic/matita/130312.nix index 9e98c8db3947..5117ba62e21e 100644 --- a/pkgs/applications/science/logic/matita/130312.nix +++ b/pkgs/applications/science/logic/matita/130312.nix @@ -11,7 +11,7 @@ stdenv.mkDerivation { name = "${pname}-${version}"; src = fetchurl { - url = "http://matita.cs.unibo.it/sources/${pname}_130312.tar.gz"; + url = "http://matita.cs.unibo.it/sources/${pname}_130312.tar.gz"; sha256 = "13mjvvldv53dcdid6wmc6g8yn98xca26xq2rgq2jg700lqsni59s"; }; @@ -24,7 +24,7 @@ stdenv.mkDerivation { ''; prePatch = '' - autoreconf -fvi + autoreconf -fvi ''; buildInputs = [ocaml findlib gdome2 ocaml_expat gmetadom ocaml_http lablgtk ocaml_mysql ocamlnet ulex08 camlzip ocaml_pcre automake autoconf]; @@ -62,5 +62,6 @@ stdenv.mkDerivation { description = "Matita is an experimental, interactive theorem prover"; license = stdenv.lib.licenses.gpl2Plus; maintainers = [ stdenv.lib.maintainers.roconnor ]; + broken = true; }; } |