summaryrefslogtreecommitdiffstats
path: root/pkgs/top-level/dotnet-packages.nix
AgeCommit message (Expand)Author
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer
2021-01-10toplevel: stdenv.lib -> libProfpatsch
2020-10-24dafny: use pinned z3 in the full closureGuillaume Maudoux
2020-10-24dafny: pin z3 and Boogie versionGuillaume Maudoux
2020-06-14dotnetPackages.FSharpAutoComplete: add missing glib dependencyPierre Bourdon
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-10-08treewide: mark some broken packages as brokenLinus Heckemann
2019-08-28treewide: remove redundant recvolth
2019-08-08fsharp41: 4.1.7 -> 4.1.34; mono = mono6Jiri Danek
2019-08-07dotnetPackages.Nuget: 3.4.3 -> 4.9.1Jiri Danek
2019-06-20dafny: 2.1.0 -> 2.3.0Guillaume Maudoux
2019-04-22treewide: Change URLs to HTTPSDaniel Schaefer
2019-04-05dotnetPackages.FsLexYaccRuntime: init at 6.1.0Vincent Laporte
2018-10-31dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545)Tristan Helmich
2018-09-15Deedle: 1.2.0 -> 1.2.5 (#46702)Bob van der Linden
2018-09-15Paket: 1.18.2 -> 5.179.1 (#46701)Bob van der Linden
2018-09-15Newtonsoft.Json: 6.0.8 -> 11.0.2 (#46679)Bob van der Linden
2018-07-21pkgs/*: remove unreferenced function argumentsvolth
2018-05-29Merge pull request #40612 from symphorien/boogie_vimxeji
2018-05-28dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28Guillaume Maudoux
2018-05-28dotnetPackages.Boogie: use a recent NUnitGuillaume Maudoux
2018-05-03boogie: enable usage as a vim pluginSymphorien Gibol
2018-03-08dotnetPackages.Nuget: fix binary casing issueDan Peebles
2018-03-08Upgrade Nuget version from 2.8.5 to 3.4.3Cody Yu
2018-01-31dafny: 1.9.8 -> 2.1.0Guillaume Maudoux
2018-01-05treewide: homepage+src updates (found by repology, #33263)Samuel Dionne-Riel
2017-11-21dotnetPackages.SmartIrc4net: rehash sourceOrivej Desh
2017-08-03Update homepage attributes: http -> httpsmimadrid
2017-04-17fsharp: 4.0.1.1 -> 4.1.7Roman Kuznetsov
2017-02-07dafny: fix meta attributeGuillaume Maudoux
2017-02-07dafny: init at v1.9.8Guillaume Maudoux
2017-02-06boogie: fix basename issues; promote to packageGuillaume Maudoux
2017-02-04dotnetPackages.Boogie: init at 2017-01-03Remy Goldschmidt
2016-10-29OpenNAT: init at 2.1.0Andrew Cann
2016-09-12treewide: explicitly specify gtk and related package versionsKirill Boltaev
2016-08-19dotnetPackages.GitVersionTree: init at 2013-10-01obadz
2016-05-08dotnetPackages.MonoNat: 1.2.21 -> 1.2.24Ricardo Ardissone
2016-05-08dotnetPackages.SharpFont: 3.0.1 -> 3.1.0Ricardo Ardissone
2016-05-08dotnetPackages.NUnitConsole: init at 3.0.1Ricardo Ardissone
2016-05-08dotnetPackages.NUnit3: init at 3.0.1Ricardo Ardissone
2016-04-29dotnetPackages.RestSharp: init at 105.2.3Ricardo Ardissone
2016-04-29dotnetPackages.StyleCopPlusMSBuild: init at 4.7.49.5Ricardo Ardissone
2016-04-29dotnetPackages.StyleCopMSBuild: init at 4.7.49.0Ricardo Ardissone
2016-04-29dotnetPackages.SharpFont: init at 3.0.1Ricardo Ardissone
2016-04-29dotnetPackages.MonoNat: init at 1.2.21Ricardo Ardissone
2016-04-29dotnetPackages.FuzzyLogicLibrary: init at 1.2.0Ricardo Ardissone
2016-04-29dotnetPackages.SmartIrc4net: init at 0.4.5.1Ricardo Ardissone
2016-04-29dotnetPackages.SharpZipLib: init at 0.86.0Ricardo Ardissone
2016-04-29dotnetPackages.MaxMindGeoIP2: init at 2.3.1Ricardo Ardissone
2016-04-29dotnetPackages.MaxMindDb: init at 1.1.0.0Ricardo Ardissone
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 19:46:39 +0000