Frederik Rietdijk 98640fd482 Merge master into staging-next

2019-08-27 16:36:47 +02:00

..

default.nix

Merge master into staging-next

2019-08-27 16:36:47 +02:00

fsharp-IsPathRooted-type-inference.patch

fsharp41: 4.1.7 -> 4.1.34; mono = mono6

2019-08-08 00:17:40 +02:00

fsharp-path-overloads.patch

fsharp41: 4.1.7 -> 4.1.34; mono = mono6

2019-08-08 00:17:40 +02:00

fsharp-string-switchName.patch

fsharp41: 4.1.7 -> 4.1.34; mono = mono6

2019-08-08 00:17:40 +02:00