about summary refs log tree commit diff
path: root/pkgs/top-level/dotnet-packages.nix
AgeCommit message (Expand)AuthorFilesLines
2018-03-08dotnetPackages.Nuget: fix binary casing issueDan Peebles1-1/+1
2018-03-08Upgrade Nuget version from 2.8.5 to 3.4.3Cody Yu1-3/+3
2018-01-31dafny: 1.9.8 -> 2.1.0Guillaume Maudoux1-3/+10
2018-01-05treewide: homepage+src updates (found by repology, #33263)Samuel Dionne-Riel1-2/+2
2017-11-21dotnetPackages.SmartIrc4net: rehash sourceOrivej Desh1-1/+1
2017-08-03Update homepage attributes: http -> httpsmimadrid1-1/+1
2017-04-17fsharp: 4.0.1.1 -> 4.1.7Roman Kuznetsov1-0/+77
2017-02-07dafny: fix meta attributeGuillaume Maudoux1-2/+2
2017-02-07dafny: init at v1.9.8Guillaume Maudoux1-0/+45
2017-02-06boogie: fix basename issues; promote to packageGuillaume Maudoux1-3/+4
2017-02-04dotnetPackages.Boogie: init at 2017-01-03Remy Goldschmidt1-0/+31
2016-10-29OpenNAT: init at 2.1.0Andrew Cann1-0/+7
2016-09-12treewide: explicitly specify gtk and related package versionsKirill Boltaev1-1/+1
2016-08-19dotnetPackages.GitVersionTree: init at 2013-10-01obadz1-0/+48
2016-05-08dotnetPackages.MonoNat: 1.2.21 -> 1.2.24Ricardo Ardissone1-2/+2
2016-05-08dotnetPackages.SharpFont: 3.0.1 -> 3.1.0Ricardo Ardissone1-2/+2
2016-05-08dotnetPackages.NUnitConsole: init at 3.0.1Ricardo Ardissone1-0/+7
2016-05-08dotnetPackages.NUnit3: init at 3.0.1Ricardo Ardissone1-1/+10
2016-04-29dotnetPackages.RestSharp: init at 105.2.3Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.StyleCopPlusMSBuild: init at 4.7.49.5Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.StyleCopMSBuild: init at 4.7.49.0Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.SharpFont: init at 3.0.1Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.MonoNat: init at 1.2.21Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.FuzzyLogicLibrary: init at 1.2.0Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.SmartIrc4net: init at 0.4.5.1Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.SharpZipLib: init at 0.86.0Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.MaxMindGeoIP2: init at 2.3.1Ricardo Ardissone1-0/+7
2016-04-29dotnetPackages.MaxMindDb: init at 1.1.0.0Ricardo Ardissone1-0/+7
2016-02-27Remove all dots at end of descriptionszimbatm1-2/+2
2016-02-04remove gmcs substitutes from mono packagesNikolay Amiantov1-4/+0
2016-01-19fstar: init at 2016-01-12Ricardo M. Correia1-0/+7
2015-11-11fsharp: 3.1.2.5 -> 4.0.0.4karsten gebbert1-46/+48
2015-10-29dotnet Mono.Addins: init at 1.2Demin Dmitriy1-0/+32
2015-06-29Fixed some descriptionsPascal Wittmann1-6/+11
2015-06-23dotnet: package Projektobadz1-0/+33
2015-06-23dotnet: FSharp.Compiler.Service 0.0.89 -> 0.0.90obadz1-3/+3
2015-06-23dotnet: package Deedle 1.2.0obadz1-4/+58
2015-06-23dotnet: FSharp.Data 2.2.2 -> 2.2.3obadz1-2/+2
2015-06-23dotnet: package ExcelDna 0.32.0 + ExcelDna.Registrationobadz1-0/+59
2015-06-23dotnet: package MathNet.Numerics 3.7.0obadz1-0/+24
2015-06-23dotnet: FSharp.AutoComplete 0.16.0 -> 0.18.2obadz1-5/+6
2015-06-23dotnet: Paket 1.6.2 -> 1.18.2obadz1-12/+7
2015-06-12fetchnuget: run fixupPhase to honor propagatedBuildInputsLuca Bruno1-0/+1
2015-06-12dotnet: Add FSharpDataSQLProvider, FsPickler and SuaveLuca Bruno1-0/+26
2015-06-06Lay down the foundation for packaging the .NET echosystemobadz1-0/+495