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