summary refs log tree commit diff
path: root/pkgs/top-level/dotnet-packages.nix
Commit message (Expand)AuthorAge
* treewide: mark some broken packages as brokenLinus Heckemann2019-10-08
* treewide: remove redundant recvolth2019-08-28
* fsharp41: 4.1.7 -> 4.1.34; mono = mono6Jiri Danek2019-08-08
* dotnetPackages.Nuget: 3.4.3 -> 4.9.1Jiri Danek2019-08-07
* dafny: 2.1.0 -> 2.3.0Guillaume Maudoux2019-06-20
* treewide: Change URLs to HTTPSDaniel Schaefer2019-04-22
* dotnetPackages.FsLexYaccRuntime: init at 6.1.0Vincent Laporte2019-04-05
* dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545)Tristan Helmich2018-10-31
* Deedle: 1.2.0 -> 1.2.5 (#46702)Bob van der Linden2018-09-15
* Paket: 1.18.2 -> 5.179.1 (#46701)Bob van der Linden2018-09-15
* Newtonsoft.Json: 6.0.8 -> 11.0.2 (#46679)Bob van der Linden2018-09-15
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* Merge pull request #40612 from symphorien/boogie_vimxeji2018-05-29
|\
| * boogie: enable usage as a vim pluginSymphorien Gibol2018-05-03
* | dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28Guillaume Maudoux2018-05-28
* | dotnetPackages.Boogie: use a recent NUnitGuillaume Maudoux2018-05-28
* | dotnetPackages.Nuget: fix binary casing issueDan Peebles2018-03-08
* | Upgrade Nuget version from 2.8.5 to 3.4.3Cody Yu2018-03-08
|/
* dafny: 1.9.8 -> 2.1.0Guillaume Maudoux2018-01-31
* treewide: homepage+src updates (found by repology, #33263)Samuel Dionne-Riel2018-01-05
* dotnetPackages.SmartIrc4net: rehash sourceOrivej Desh2017-11-21
* Update homepage attributes: http -> httpsmimadrid2017-08-03
* fsharp: 4.0.1.1 -> 4.1.7Roman Kuznetsov2017-04-17
* dafny: fix meta attributeGuillaume Maudoux2017-02-07
* dafny: init at v1.9.8Guillaume Maudoux2017-02-07
* boogie: fix basename issues; promote to packageGuillaume Maudoux2017-02-06
* dotnetPackages.Boogie: init at 2017-01-03Remy Goldschmidt2017-02-04
* OpenNAT: init at 2.1.0Andrew Cann2016-10-29
* treewide: explicitly specify gtk and related package versionsKirill Boltaev2016-09-12
* dotnetPackages.GitVersionTree: init at 2013-10-01obadz2016-08-19
* dotnetPackages.MonoNat: 1.2.21 -> 1.2.24Ricardo Ardissone2016-05-08
* dotnetPackages.SharpFont: 3.0.1 -> 3.1.0Ricardo Ardissone2016-05-08
* dotnetPackages.NUnitConsole: init at 3.0.1Ricardo Ardissone2016-05-08
* dotnetPackages.NUnit3: init at 3.0.1Ricardo Ardissone2016-05-08
* dotnetPackages.RestSharp: init at 105.2.3Ricardo Ardissone2016-04-29
* dotnetPackages.StyleCopPlusMSBuild: init at 4.7.49.5Ricardo Ardissone2016-04-29
* dotnetPackages.StyleCopMSBuild: init at 4.7.49.0Ricardo Ardissone2016-04-29
* dotnetPackages.SharpFont: init at 3.0.1Ricardo Ardissone2016-04-29
* dotnetPackages.MonoNat: init at 1.2.21Ricardo Ardissone2016-04-29
* dotnetPackages.FuzzyLogicLibrary: init at 1.2.0Ricardo Ardissone2016-04-29
* dotnetPackages.SmartIrc4net: init at 0.4.5.1Ricardo Ardissone2016-04-29
* dotnetPackages.SharpZipLib: init at 0.86.0Ricardo Ardissone2016-04-29
* dotnetPackages.MaxMindGeoIP2: init at 2.3.1Ricardo Ardissone2016-04-29
* dotnetPackages.MaxMindDb: init at 1.1.0.0Ricardo Ardissone2016-04-29
* Remove all dots at end of descriptionszimbatm2016-02-27
* remove gmcs substitutes from mono packagesNikolay Amiantov2016-02-04
* fstar: init at 2016-01-12Ricardo M. Correia2016-01-19
* fsharp: 3.1.2.5 -> 4.0.0.4karsten gebbert2015-11-11
* dotnet Mono.Addins: init at 1.2Demin Dmitriy2015-10-29
* Fixed some descriptionsPascal Wittmann2015-06-29