agda
|
agda: fix license
|
2014-09-11 20:35:56 +01:00 |
ats2
|
ats2: Bump
|
2014-08-29 16:13:48 -04:00 |
gcc
|
Merge recent master into staging
|
2014-09-06 16:52:45 +02:00 |
idris
|
haskell-idris: update to version 0.9.14.3
|
2014-09-04 14:41:09 +02:00 |
oraclejdk
|
Update oraclejdk-7 patch version from 65 to 67
|
2014-09-03 21:30:31 +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 |