agda
|
agda: fix license
|
2014-09-11 20:35:56 +01:00 |
ats2
|
ats2: bump
|
2014-09-20 02:15:42 -04:00 |
compcert
|
CompCert: update to 2.4
|
2014-10-05 23:38:16 +01:00 |
elm
|
haskell-Elm: update to version 0.13
|
2014-10-14 17:39:24 +02:00 |
epic
|
haskell-epic: update to version 0.9.3.2
|
2014-10-13 09:09:33 +02:00 |
fsharp
|
Update F#
|
2014-10-07 16:23:28 +04:00 |
gcc
|
Merge recent master into staging
|
2014-09-06 16:52:45 +02:00 |
gcl
|
gcl: update from 2.6.10 to 2.6.11
|
2014-09-24 13:42:17 +04:00 |
gforth
|
Add gforth to development/compilers
|
2014-09-22 19:56:52 +02:00 |
go
|
Updating go from 1.3.2 to 1.3.3.
|
2014-10-10 17:07:16 +02:00 |
hhvm
|
boost: Update depdendent packages
|
2014-09-21 17:20:59 -07:00 |
lessc
|
lessc: update form 1.4.0. to 1.4.2 and adopt it
|
2014-09-25 18:19:19 +02:00 |
mezzo
|
Adds mezzo
|
2014-09-13 12:26:07 +02:00 |
nvidia-cg-toolkit
|
update nvidia cg toolkit to v3.1
|
2014-09-21 01:37:36 +01:00 |
ocaml
|
Added OCaml release 4.02.0.
|
2014-09-22 20:13:32 +01:00 |
oraclejdk
|
oraclejdk: bump to 8u20
|
2014-10-12 15:43:44 +01:00 |
orc
|
orc: disable tests
|
2014-09-22 12:35:07 +02:00 |
rustc
|
rust: updated head
|
2014-10-13 15:36:49 +02:00 |
sbcl
|
Fix ACL2
|
2014-09-04 14:41:35 +04:00 |
scala
|
scala: update from 2.11.0 to 2.11.1
|
2014-09-11 13:32:33 +02:00 |
urweb
|
Ur/Web compiler: new release, 20140531 -> 20140830
|
2014-09-06 11:05:10 +02:00 |
yasm
|
yasm: update from 1.2.0 to 1.3.0
|
2014-10-10 22:43:58 +02:00 |