aboutsummaryrefslogtreecommitdiff
path: root/pkgs/top-level/dotnet-packages.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* dafny: use pinned z3 in the full closureGuillaume Maudoux2020-10-241-6/+8
* dafny: pin z3 and Boogie versionGuillaume Maudoux2020-10-241-7/+20
* dotnetPackages.FSharpAutoComplete: add missing glib dependencyPierre Bourdon2020-06-141-0/+2
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-101-8/+8
* treewide: mark some broken packages as brokenLinus Heckemann2019-10-081-0/+1
* treewide: remove redundant recvolth2019-08-281-6/+6
* fsharp41: 4.1.7 -> 4.1.34; mono = mono6Jiri Danek2019-08-081-9/+30
* dotnetPackages.Nuget: 3.4.3 -> 4.9.1Jiri Danek2019-08-071-3/+3
* dafny: 2.1.0 -> 2.3.0Guillaume Maudoux2019-06-201-5/+5
* treewide: Change URLs to HTTPSDaniel Schaefer2019-04-221-6/+6
* dotnetPackages.FsLexYaccRuntime: init at 6.1.0Vincent Laporte2019-04-051-0/+7
* dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545)Tristan Helmich2018-10-311-2/+2
* Deedle: 1.2.0 -> 1.2.5 (#46702)Bob van der Linden2018-09-151-43/+4
* Paket: 1.18.2 -> 5.179.1 (#46701)Bob van der Linden2018-09-151-59/+4
* Newtonsoft.Json: 6.0.8 -> 11.0.2 (#46679)Bob van der Linden2018-09-151-33/+4
* pkgs/*: remove unreferenced function argumentsvolth2018-07-211-1/+0
* Merge pull request #40612 from symphorien/boogie_vimxeji2018-05-291-0/+12
|\
| * boogie: enable usage as a vim pluginSymphorien Gibol2018-05-031-0/+12
* | dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28Guillaume Maudoux2018-05-281-3/+3
* | dotnetPackages.Boogie: use a recent NUnitGuillaume Maudoux2018-05-281-1/+11
* | dotnetPackages.Nuget: fix binary casing issueDan Peebles2018-03-081-1/+1
* | Upgrade Nuget version from 2.8.5 to 3.4.3Cody Yu2018-03-081-3/+3
|/
* dafny: 1.9.8 -> 2.1.0Guillaume Maudoux2018-01-311-3/+10
* treewide: homepage+src updates (found by repology, #33263)Samuel Dionne-Riel2018-01-051-2/+2
* dotnetPackages.SmartIrc4net: rehash sourceOrivej Desh2017-11-211-1/+1
* Update homepage attributes: http -> httpsmimadrid2017-08-031-1/+1
* fsharp: 4.0.1.1 -> 4.1.7Roman Kuznetsov2017-04-171-0/+77
* dafny: fix meta attributeGuillaume Maudoux2017-02-071-2/+2
* dafny: init at v1.9.8Guillaume Maudoux2017-02-071-0/+45
* boogie: fix basename issues; promote to packageGuillaume Maudoux2017-02-061-3/+4
* dotnetPackages.Boogie: init at 2017-01-03Remy Goldschmidt2017-02-041-0/+31
* OpenNAT: init at 2.1.0Andrew Cann2016-10-291-0/+7
* treewide: explicitly specify gtk and related package versionsKirill Boltaev2016-09-121-1/+1
* dotnetPackages.GitVersionTree: init at 2013-10-01obadz2016-08-191-0/+48
* dotnetPackages.MonoNat: 1.2.21 -> 1.2.24Ricardo Ardissone2016-05-081-2/+2
* dotnetPackages.SharpFont: 3.0.1 -> 3.1.0Ricardo Ardissone2016-05-081-2/+2
* dotnetPackages.NUnitConsole: init at 3.0.1Ricardo Ardissone2016-05-081-0/+7
* dotnetPackages.NUnit3: init at 3.0.1Ricardo Ardissone2016-05-081-1/+10
* dotnetPackages.RestSharp: init at 105.2.3Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.StyleCopPlusMSBuild: init at 4.7.49.5Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.StyleCopMSBuild: init at 4.7.49.0Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.SharpFont: init at 3.0.1Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.MonoNat: init at 1.2.21Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.FuzzyLogicLibrary: init at 1.2.0Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.SmartIrc4net: init at 0.4.5.1Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.SharpZipLib: init at 0.86.0Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.MaxMindGeoIP2: init at 2.3.1Ricardo Ardissone2016-04-291-0/+7
* dotnetPackages.MaxMindDb: init at 1.1.0.0Ricardo Ardissone2016-04-291-0/+7
* Remove all dots at end of descriptionszimbatm2016-02-271-2/+2
* remove gmcs substitutes from mono packagesNikolay Amiantov2016-02-041-4/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 09:08:15 +0000