Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | treewide: mark some broken packages as broken | Linus Heckemann | 2019-10-08 |
| | | | | | | | | | Refs: e6754980264fe927320d5ff2dbd24ca4fac9a160 1e9cc5b9844ef603fe160e9f671178f96200774f 793a2fe1e8bb886ca2096c5904e1193dc3268b6d c19cf65261639f749012454932a532aa7c681e4b f6544d618f30fae0bc4798c4387a8c7c9c047a7c | ||
* | treewide: remove redundant rec | volth | 2019-08-28 |
| | |||
* | fsharp41: 4.1.7 -> 4.1.34; mono = mono6 | Jiri Danek | 2019-08-08 |
| | |||
* | dotnetPackages.Nuget: 3.4.3 -> 4.9.1 | Jiri Danek | 2019-08-07 |
| | |||
* | dafny: 2.1.0 -> 2.3.0 | Guillaume Maudoux | 2019-06-20 |
| | |||
* | treewide: Change URLs to HTTPS | Daniel Schaefer | 2019-04-22 |
| | | | | | | 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 | ||
* | dotnetPackages.FsLexYaccRuntime: init at 6.1.0 | Vincent Laporte | 2019-04-05 |
| | |||
* | dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545) | Tristan Helmich | 2018-10-31 |
| | |||
* | 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-09-15 |
| | |||
* | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 |
| | |||
* | Merge pull request #40612 from symphorien/boogie_vim | xeji | 2018-05-29 |
|\ | | | | | boogie: enable usage as a vim plugin | ||
| * | boogie: enable usage as a vim plugin | Symphorien Gibol | 2018-05-03 |
| | | |||
* | | dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28 | Guillaume Maudoux | 2018-05-28 |
| | | |||
* | | dotnetPackages.Boogie: use a recent NUnit | Guillaume Maudoux | 2018-05-28 |
| | | |||
* | | dotnetPackages.Nuget: fix binary casing issue | Dan Peebles | 2018-03-08 |
| | | | | | | | | | | 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. | ||
* | | Upgrade Nuget version from 2.8.5 to 3.4.3 | Cody Yu | 2018-03-08 |
|/ | |||
* | dafny: 1.9.8 -> 2.1.0 | Guillaume Maudoux | 2018-01-31 |
| | |||
* | treewide: homepage+src updates (found by repology, #33263) | Samuel Dionne-Riel | 2018-01-05 |
| | |||
* | dotnetPackages.SmartIrc4net: rehash source | Orivej Desh | 2017-11-21 |
| | | | | The only change is in the package metadata. | ||
* | Update homepage attributes: http -> https | mimadrid | 2017-08-03 |
| | | | | | Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated https://repology.org/repository/nix_stable/problems | ||
* | fsharp: 4.0.1.1 -> 4.1.7 | Roman Kuznetsov | 2017-04-17 |
| | | | | | | Build F# with default mono version Introduce separate fsharp41 packages | ||
* | dafny: fix meta attribute | Guillaume Maudoux | 2017-02-07 |
| | |||
* | dafny: init at v1.9.8 | Guillaume Maudoux | 2017-02-07 |
| | |||
* | boogie: fix basename issues; promote to package | Guillaume Maudoux | 2017-02-06 |
| | |||
* | dotnetPackages.Boogie: init at 2017-01-03 | Remy Goldschmidt | 2017-02-04 |
| | |||
* | OpenNAT: init at 2.1.0 | Andrew Cann | 2016-10-29 |
| | |||
* | treewide: explicitly specify gtk and related package versions | Kirill Boltaev | 2016-09-12 |
| | |||
* | dotnetPackages.GitVersionTree: init at 2013-10-01 | obadz | 2016-08-19 |
| | |||
* | 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-05-08 |
| | |||
* | 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-04-29 |
| | |||
* | Remove all dots at end of descriptions | zimbatm | 2016-02-27 |
| | | | | | | | Specially crafted for @JagaJaga find pkgs -name "*.nix" -exec \ sed -e 's|\(description.*\)\.";|\1";|g' -i {} \; | ||
* | remove gmcs substitutes from mono packages | Nikolay Amiantov | 2016-02-04 |
| | |||
* | fstar: init at 2016-01-12 | Ricardo M. Correia | 2016-01-19 |
| | |||
* | fsharp: 3.1.2.5 -> 4.0.0.4 | karsten gebbert | 2015-11-11 |
| | |||
* | dotnet Mono.Addins: init at 1.2 | Demin Dmitriy | 2015-10-29 |
| | |||
* | Fixed some descriptions | Pascal Wittmann | 2015-06-29 |
| |