index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
compilers
Commit message (
Expand
)
Author
Age
*
rustcMaster: Fix version
Ricardo M. Correia
2014-09-29
*
rustcMaster: Update to a more recent commit
Ricardo M. Correia
2014-09-29
*
Fixed idris wrapper to make idris work with different backends.
Maksymilian Owsianny
2014-09-29
*
package update: go-1.3.1 -> go-1.3.2
Siarhei Zirukin
2014-09-28
*
go 1.1 and 1.2: fix builds by removing one test
Matej Cotman
2014-09-26
*
lessc: update form 1.4.0. to 1.4.2 and adopt it
Pascal Wittmann
2014-09-25
*
go: fix go 1.3.1 build
Matej Cotman
2014-09-24
*
Fixed idris.
Maksymilian Owsianny
2014-09-24
*
gcl: update from 2.6.10 to 2.6.11
Michael Raskin
2014-09-24
*
Added OCaml release 4.02.0.
Vincent Bernardoff
2014-09-22
*
Add gforth to development/compilers
Paul Koerbitz
2014-09-22
*
Merge pull request #4085 from wkennington/master.boost
Peter Simons
2014-09-22
|
\
|
*
boost: Update depdendent packages
William A. Kennington III
2014-09-21
*
|
orc: disable tests
Domen Kožar
2014-09-22
|
/
*
orc: update from 0.4.21 to 0.4.22
Mateusz Kowalczyk
2014-09-21
*
update nvidia cg toolkit to v3.1
Cray Elliott
2014-09-21
*
go: Include all 3 GOROOT tools
Philip Horger
2014-09-21
*
Merge pull request #4061 from vbgl/mezzo
Mateusz Kowalczyk
2014-09-20
|
\
|
*
Adds mezzo
Vincent Laporte
2014-09-13
*
|
ats2: bump
Shea Levy
2014-09-20
*
|
rustc: fixed build after 7068828389390dca066fb1062bd27148d49339d4
Georges Dubus
2014-09-16
*
|
Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan
Aristid Breitkreuz
2014-09-14
|
\
\
|
*
|
dylan: Remove old gwydion-dylan package.
Bruce Mitchener
2014-09-12
|
|
/
*
|
rustcMaster: Update to a more recent commit
Ricardo M. Correia
2014-09-14
*
|
idris: broken by recent Haskell updates
Peter Simons
2014-09-14
*
|
idris: remove unnecessary jailbreak
Peter Simons
2014-09-14
|
/
*
agda: fix license
Mateusz Kowalczyk
2014-09-11
*
agda-stdlib: make expression nicer, fix license
Mateusz Kowalczyk
2014-09-11
*
scala: update from 2.11.0 to 2.11.1
Rob Vermaas
2014-09-11
*
Merge remote-tracking branch 'origin/staging'
Eelco Dolstra
2014-09-08
|
\
|
*
Merge recent master into staging
Vladimír Čunát
2014-09-06
|
|
\
|
*
\
Merge branch 'origin/master' into staging.
Peter Simons
2014-09-02
|
|
\
\
|
*
\
\
Merge recent master into staging
Vladimír Čunát
2014-08-30
|
|
\
\
\
|
*
|
|
|
GCC >= 4.8 doesn't depend on ppl
Gergely Risko
2014-08-29
|
*
|
|
|
orc: disable tests on i686
Vladimír Čunát
2014-08-23
|
*
|
|
|
orc: bugfix updates
Vladimír Čunát
2014-08-21
|
*
|
|
|
Merge recent master into staging
Vladimír Čunát
2014-08-21
|
|
\
\
\
\
|
*
|
|
|
|
gcc: Revive the no-sys-dirs patch
Eelco Dolstra
2014-08-18
|
*
|
|
|
|
Merge branch 'master' into staging
Luca Bruno
2014-08-14
|
|
\
\
\
\
\
|
*
|
|
|
|
|
Enable parallel building for GCC.
Gergely Risko
2014-08-13
*
|
|
|
|
|
|
Ur/Web compiler: new release, 20140531 -> 20140830
Robert M. Mather
2014-09-06
*
|
|
|
|
|
|
fix eval
Domen Kožar
2014-09-05
*
|
|
|
|
|
|
Merge pull request #3955 from paulkoerbitz/master
Michael Raskin
2014-09-04
|
\
\
\
\
\
\
\
|
*
|
|
|
|
|
|
Update oraclejdk-7 patch version from 65 to 67
Paul Koerbitz
2014-09-03
|
|
|
_
|
_
|
_
|
_
|
/
|
|
/
|
|
|
|
|
*
|
|
|
|
|
|
haskell-idris: update to version 0.9.14.3
Peter Simons
2014-09-04
*
|
|
|
|
|
|
Fix ACL2
Michael Raskin
2014-09-04
*
|
|
|
|
|
|
Merge pull request #3915 from Fuuzetsu/agda-builder
Peter Simons
2014-09-04
|
\
\
\
\
\
\
\
|
|
/
/
/
/
/
/
|
/
|
|
|
|
|
|
|
*
|
|
|
|
|
Use agda builder for stdlib. mv to all-packages
Mateusz Kowalczyk
2014-09-01
*
|
|
|
|
|
|
gcc/gcj: Update antlr dep to 4.4
Ricardo M. Correia
2014-09-03
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Remove fpc 2.4.0: lazarus doesn't need it and it doesn't like .2.6.0 as boots...
Michael Raskin
2014-09-01
|
/
/
/
/
/
[next]