compcert
|
compcert: build with Coq 8.11
|
2020-10-05 16:39:26 +02:00 |
elm
|
Update elm-language-server, and other elm tools
|
2020-10-06 00:11:29 +02:00 |
fpc
|
lazarus-qt5: init at 2.0.10
|
2020-10-06 11:49:39 +08:00 |
ghc
|
ghc: add alpha-1 release of version 9.0.1
|
2020-09-29 12:06:53 +02:00 |
go
|
go: fix cross, enable ppc64le
|
2020-10-04 16:11:49 -07:00 |
kotlin
|
kotlin: Remove maintainer nequissimus
|
2020-10-08 11:00:15 -04:00 |
openjdk
|
openjdk8: Remove maintainer nequissimus
|
2020-10-08 11:00:18 -04:00 |
paco
|
paco: init at 1.0
|
2020-09-30 11:05:45 +02:00 |
picat
|
picat: 2.8-2 -> 3.0
|
2020-09-29 21:20:30 -05:00 |
ponyc
|
pony-corral: init 0.4.0
|
2020-09-29 01:14:12 +00:00 |
scala
|
scala: 2.12.10 -> 2.12.12
|
2020-10-01 09:44:39 -04:00 |
zulu
|
zulu: Remove maintainer nequissimus
|
2020-10-08 11:00:15 -04:00 |