coq-modules
|
coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}
|
2018-08-08 11:24:09 +00:00 |
go-modules
|
Merge master into staging
|
2018-07-26 16:18:53 +02:00 |
haskell-modules
|
ghc-8.0.2: Fix #44987 (#45014)
|
2018-08-15 14:53:20 +01:00 |
interpreters
|
jimtcl: 0.77 -> 0.78 (#44762)
|
2018-08-13 14:24:25 +02:00 |
libraries
|
Merge pull request #45077 from markuskowa/licenses-c
|
2018-08-16 12:34:56 +02:00 |
misc
|
Merge pull request #40978 from elitak/inav
|
2018-08-09 21:33:06 -04:00 |
mobile
|
android: add licenses
|
2018-08-06 10:15:49 -04:00 |
ocaml-modules
|
atd: 1.12.0 -> 2.0.0 (#45046)
|
2018-08-15 10:45:42 +02:00 |
r-modules
|
r-packages: fix regression
|
2018-08-04 06:19:08 +00:00 |
ruby-modules
|
gem-config: add curses (#45068)
|
2018-08-15 14:32:50 +01:00 |
tools
|
flex: add license
|
2018-08-16 21:51:07 +02:00 |
web
|
insomnia: 5.16.6 -> 6.0.2
|
2018-08-09 09:56:44 -07:00 |