Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-28 | treewide: remove redundant rec | volth | |
2019-08-08 | fsharp41: 4.1.7 -> 4.1.34; mono = mono6 | Jiri Danek | |
2019-08-07 | dotnetPackages.Nuget: 3.4.3 -> 4.9.1 | Jiri Danek | |
2019-06-20 | dafny: 2.1.0 -> 2.3.0 | Guillaume Maudoux | |
2019-04-22 | treewide: Change URLs to HTTPS | Daniel Schaefer | |
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them if there's actual content. Inspired by https://github.com/NixOS/nixpkgs/issues/60004 | |||
2019-04-05 | dotnetPackages.FsLexYaccRuntime: init at 6.1.0 | Vincent Laporte | |
2018-10-31 | dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545) | Tristan Helmich | |
2018-09-15 | Deedle: 1.2.0 -> 1.2.5 (#46702) | Bob van der Linden | |
2018-09-15 | Paket: 1.18.2 -> 5.179.1 (#46701) | Bob van der Linden | |
2018-09-15 | Newtonsoft.Json: 6.0.8 -> 11.0.2 (#46679) | Bob van der Linden | |
2018-07-21 | pkgs/*: remove unreferenced function arguments | volth | |
2018-05-29 | Merge pull request #40612 from symphorien/boogie_vim | xeji | |
boogie: enable usage as a vim plugin | |||
2018-05-28 | dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28 | Guillaume Maudoux | |
2018-05-28 | dotnetPackages.Boogie: use a recent NUnit | Guillaume Maudoux | |
2018-05-03 | boogie: enable usage as a vim plugin | Symphorien Gibol | |
2018-03-08 | dotnetPackages.Nuget: fix binary casing issue | Dan Peebles | |
Didn't notice the first time around because macOS isn't case-sensitive by default, but on Linux the build failed to produce a wrapper script. | |||
2018-03-08 | Upgrade Nuget version from 2.8.5 to 3.4.3 | Cody Yu | |
2018-01-31 | dafny: 1.9.8 -> 2.1.0 | Guillaume Maudoux | |
2018-01-05 | treewide: homepage+src updates (found by repology, #33263) | Samuel Dionne-Riel | |
2017-11-21 | dotnetPackages.SmartIrc4net: rehash source | Orivej Desh | |
The only change is in the package metadata. | |||
2017-08-03 | Update homepage attributes: http -> https | mimadrid | |
Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated https://repology.org/repository/nix_stable/problems | |||
2017-04-17 | fsharp: 4.0.1.1 -> 4.1.7 | Roman Kuznetsov | |
Build F# with default mono version Introduce separate fsharp41 packages | |||
2017-02-07 | dafny: fix meta attribute | Guillaume Maudoux | |
2017-02-07 | dafny: init at v1.9.8 | Guillaume Maudoux | |
2017-02-06 | boogie: fix basename issues; promote to package | Guillaume Maudoux | |
2017-02-04 | dotnetPackages.Boogie: init at 2017-01-03 | Remy Goldschmidt | |
2016-10-29 | OpenNAT: init at 2.1.0 | Andrew Cann | |
2016-09-12 | treewide: explicitly specify gtk and related package versions | Kirill Boltaev | |
2016-08-19 | dotnetPackages.GitVersionTree: init at 2013-10-01 | obadz | |
2016-05-08 | dotnetPackages.MonoNat: 1.2.21 -> 1.2.24 | Ricardo Ardissone | |
2016-05-08 | dotnetPackages.SharpFont: 3.0.1 -> 3.1.0 | Ricardo Ardissone | |
2016-05-08 | dotnetPackages.NUnitConsole: init at 3.0.1 | Ricardo Ardissone | |
2016-05-08 | dotnetPackages.NUnit3: init at 3.0.1 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.RestSharp: init at 105.2.3 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.StyleCopPlusMSBuild: init at 4.7.49.5 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.StyleCopMSBuild: init at 4.7.49.0 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.SharpFont: init at 3.0.1 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.MonoNat: init at 1.2.21 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.FuzzyLogicLibrary: init at 1.2.0 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.SmartIrc4net: init at 0.4.5.1 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.SharpZipLib: init at 0.86.0 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.MaxMindGeoIP2: init at 2.3.1 | Ricardo Ardissone | |
2016-04-29 | dotnetPackages.MaxMindDb: init at 1.1.0.0 | Ricardo Ardissone | |
2016-02-27 | Remove all dots at end of descriptions | zimbatm | |
Specially crafted for @JagaJaga find pkgs -name "*.nix" -exec \ sed -e 's|\(description.*\)\.";|\1";|g' -i {} \; | |||
2016-02-04 | remove gmcs substitutes from mono packages | Nikolay Amiantov | |
2016-01-19 | fstar: init at 2016-01-12 | Ricardo M. Correia | |
2015-11-11 | fsharp: 3.1.2.5 -> 4.0.0.4 | karsten gebbert | |
2015-10-29 | dotnet Mono.Addins: init at 1.2 | Demin Dmitriy | |
2015-06-29 | Fixed some descriptions | Pascal Wittmann | |
2015-06-23 | dotnet: package Projekt | obadz | |