Tuomas Tynkkynen
|
21f17d69f6
|
treewide: Add lots of meta.platforms
Build-tested on x86_64 Linux & Mac.
|
2016-08-02 21:42:43 +03:00 |
|
Gabriel Ebner
|
87b0a41ac5
|
isabelle: 2015 -> 2016
|
2016-02-23 14:19:13 +01:00 |
|
Sven Keidel
|
ca21ae0eda
|
isabelle: 2014 -> 2015
Picked from #8510. /cc maintainer @jwiegley.
|
2016-02-03 13:51:35 +01:00 |
|
Tobias Geerinckx-Rice
|
32d40f0f98
|
Remove no longer (or never) referenced patches
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
|
2016-01-24 02:02:21 +01:00 |
|
Vincent Laporte
|
542d20384f
|
Isabelle: fix download URL
|
2015-06-21 00:45:38 +02:00 |
|
Domen Kožar
|
9b7b2ce8eb
|
Revert "Introduce patchShebangsPhase ran in preConfigurePhases"
This reverts commit 512fbb280f.
See #5368
|
2015-01-08 10:26:49 +01:00 |
|
Domen Kožar
|
512fbb280f
|
Introduce patchShebangsPhase ran in preConfigurePhases
(cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d)
Signed-off-by: Domen Kožar <domen@dev.si>
|
2015-01-02 02:58:32 +01:00 |
|
John Wiegley
|
10e215a3ae
|
isabelle: Version 2014 building on Linux and Darwin
|
2014-09-30 23:15:31 -05:00 |
|
John Wiegley
|
57b292fb1b
|
isabelle: Another Linux hash change?
|
2014-09-30 16:44:15 -05:00 |
|
John Wiegley
|
5a7ce1185b
|
isabelle: Remove Linux patches (is this correct?)
|
2014-09-30 16:41:47 -05:00 |
|
John Wiegley
|
8d9cd1557b
|
isabelle: Correct the 2014 sha value for Linux
|
2014-09-30 16:15:34 -05:00 |
|
John Wiegley
|
db690f28a3
|
isabelle: 2013 -> 2014, plus add darwin support
|
2014-09-30 12:57:30 -05:00 |
|
Evgeny Egorochkin
|
9c6f7cc9c1
|
Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.
|
2013-06-07 03:15:45 +03:00 |
|
Marco Maggesi
|
286d068b37
|
Upgrade Isabelle proof assistant to version 2012
|
2012-09-04 14:34:31 +02:00 |
|
Eelco Dolstra
|
c556a6ea46
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
|
2012-01-18 20:16:00 +00:00 |
|
Marco Maggesi
|
bf394d80ec
|
Update url for Isabelle2011
svn path=/nixpkgs/trunk/; revision=30574
|
2011-11-26 18:45:15 +00:00 |
|
Marco Maggesi
|
8e5beab31f
|
Fix building of Isabelle2011
svn path=/nixpkgs/trunk/; revision=27253
|
2011-05-14 21:09:57 +00:00 |
|
Michael Raskin
|
b4faf64bae
|
Update Isabelle to an existing tarball...
svn path=/nixpkgs/trunk/; revision=26903
|
2011-04-20 12:24:34 +00:00 |
|
Michael Raskin
|
373fabf1c0
|
Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
|
2010-12-01 21:29:20 +00:00 |
|
Michael Raskin
|
b89881d098
|
Update Isabelle
svn path=/nixpkgs/trunk/; revision=24950
|
2010-12-01 21:25:21 +00:00 |
|
Eelco Dolstra
|
cc84ac9e84
|
svn path=/nixpkgs/trunk/; revision=22880
|
2010-08-02 16:01:55 +00:00 |
|
Marco Maggesi
|
98aaa4421c
|
Add expression for Isabelle2009
svn path=/nixpkgs/trunk/; revision=18905
|
2009-12-11 17:00:52 +00:00 |
|