cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/compilers
History
Austin Seipp 5401849e3a cryptol v2.0.0 
This comes with several extra libraries, including GraphSCC, monadLib,
presburger, process and smtLib, all required as build dependencies. But
otherwise totally automated via cabal2nix.

Next up is CVC4 (a total pain in the ass to package) for proving/SAT
support.

I have another WIP branch for the unfree 1.x series which I may (or may
not) add later as it has external verification tech at the moment.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-25 05:42:00 -05:00
..
abc
adobe-flex-sdk
Agda-executable
aldor aldor: update to 1.2.0 version in development. 2014-03-31 21:41:20 +02:00
aspectj
ats Adding ATS1, updating ATS2 package. 2014-03-25 04:53:13 +01:00
ats2 Adding ATS1, updating ATS2 package. 2014-03-25 04:53:13 +01:00
avra
bigloo
ccl
chicken
clean
closure Replace lib/java -> share/java 2014-01-09 13:01:38 +01:00
cmucl
cryptol cryptol v2.0.0 2014-04-25 05:42:00 -05:00
cudatoolkit cuda: install the SDK using multiple-outputs support 2014-01-29 15:48:55 +01:00
dev86 Apply makeOverridable to stdenv 2014-02-05 19:18:33 +01:00
dmd dmd: Add (D language compiler). 2014-01-11 19:08:40 +01:00
ecl
edk2 edk2/OVMF: Update 2014-02-03 18:32:21 -05:00
elm Elm: fix build by ignoring the build instructions provided by upstream 2014-04-08 13:17:51 +02:00
epic
eql
flapjax
fpc
fsharp fsharp: 3.1 -> 3.1.0 2014-04-08 10:54:25 -05:00
gambit
gcc Add gcc-4.9.0 2014-04-23 10:45:00 -04:00
gcc-arm-embedded gcc-arm-embedded: add meta attributes 2014-03-29 18:28:41 +01:00
gcl Update GCL source to latest release 2014-02-02 21:36:22 +04:00
ghc GHC version 7.8.1 has been deprecated because of a serious bug. 2014-04-11 22:33:11 +02:00
ghdl Adding ghdl 0.31 mcode flavour 2014-04-16 10:35:45 +02:00
gnatboot
go Merge branch glibc-2.19, see #1840 2014-04-02 19:03:49 +02:00
gprolog gprolog: patch hard-coded path to the temporary file /tmp/make.log 2014-01-21 20:07:26 +01:00
gwt
gwydion-dylan
haxe
hugs
iasl
icedtea icedtea7: Update from 2.4.6 -> 2.4.7 2014-04-23 01:39:07 +02:00
icedtea-web icedtea7_web: Fix configure phase not finding bash 2014-04-10 00:15:53 +02:00
idris idris: upgrade to 0.9.12 2014-04-06 11:47:46 +02:00
ikarus
jdk Update ffmpeg dependency in oraclejdk7 2014-04-02 23:36:47 +02:00
jhc
jikes
julia add julia 0.2.1 release 2014-03-28 18:39:26 +08:00
lessc
llvm llvm(Packages) on darwin: attempts to fix 2014-04-10 21:19:40 +02:00
mcpp mcpp: Add package 2014-01-30 21:56:17 -06:00
mentor
meta-environment/meta-build-env
mit-scheme
mlton Fix build of MLton on Linux i686 2014-04-19 14:30:39 +01:00
mono mono: add LLVM support (3.4svn build) 2014-03-08 14:57:49 -06:00
mozart
nasm nasm: update from 2.10 to 2.11.01 2014-02-24 22:04:40 +01:00
neko
nvidia-cg-toolkit
ocaml Fix some "meta.licenses" attributes 2014-01-25 03:04:46 +01:00
opa
opencxx
openjdk openjdk: Hackery to ensure that tools.jar is found 2014-01-25 03:04:46 +01:00
openjdk-darwin openjdk-darwin: Behave the same as openjdk-linux 2014-01-28 12:10:27 +01:00
orc Merge pull request #2320 from iyzsong/unmaintain 2014-04-19 19:55:24 +01:00
pakcs pakcs: update hash for latest version. 2014-04-23 10:54:58 +02:00
path64
polyml PolyML expression: Factorize version number in a separate variable 2014-01-15 15:58:27 +01:00
qcmm
qi
rdmd rdmd: Add (D language compiler helper). 2014-01-11 19:08:40 +01:00
roadsend
rust rust: fixed i686 build 2014-01-22 19:29:20 +01:00
sbcl Update SBCL 2014-03-08 21:13:00 +04:00
scala
sdcc sdcc: bump 3.3.0 -> 3.4.0 2014-04-13 19:46:00 +02:00
smlnj
stalin
strategoxt
swi-prolog swiProlog: update from 6.6.2 to 6.6.3 2014-04-09 12:41:11 +02:00
tinycc
uhc
urweb
vala drop my maintainship of orc and vala 2014-04-19 23:21:51 +08:00
visual-c++
vs90wrapper
webdsl
yap yap: revert update from 6.2.2 to 6.3.3 2014-03-07 23:16:33 +01:00
yasm xbmc: 12.2 -> 12.3 2013-12-29 17:53:40 +01:00