Commit Graph

38 Commits

Author SHA1 Message Date
Guillaume Maudoux
f7b7d8e7b5 dafny: fix meta attribute 2017-02-07 11:35:10 +01:00
Guillaume Maudoux
aeaf893e57 dafny: init at v1.9.8 2017-02-07 10:13:42 +01:00
Guillaume Maudoux
ccb2d83980 boogie: fix basename issues; promote to package 2017-02-06 22:50:05 +01:00
Remy Goldschmidt
d1aa065a5d dotnetPackages.Boogie: init at 2017-01-03 2017-02-04 15:27:18 +01:00
Andrew Cann
40cab6182c OpenNAT: init at 2.1.0 2016-10-29 13:28:24 +08:00
Kirill Boltaev
bccd75094f treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
obadz
b0e11652f4 dotnetPackages.GitVersionTree: init at 2013-10-01 2016-08-19 18:28:03 +01:00
Ricardo Ardissone
8e85f56849 dotnetPackages.MonoNat: 1.2.21 -> 1.2.24 2016-05-08 17:21:55 -03:00
Ricardo Ardissone
369515596d dotnetPackages.SharpFont: 3.0.1 -> 3.1.0 2016-05-08 17:21:54 -03:00
Ricardo Ardissone
f0152c64e6 dotnetPackages.NUnitConsole: init at 3.0.1 2016-05-08 17:21:38 -03:00
Ricardo Ardissone
b8995ac668 dotnetPackages.NUnit3: init at 3.0.1 2016-05-08 17:21:34 -03:00
Ricardo Ardissone
50970f4ccf dotnetPackages.RestSharp: init at 105.2.3 2016-04-29 15:55:36 -03:00
Ricardo Ardissone
ffe7da184e dotnetPackages.StyleCopPlusMSBuild: init at 4.7.49.5 2016-04-29 15:55:36 -03:00
Ricardo Ardissone
6e68a6cf81 dotnetPackages.StyleCopMSBuild: init at 4.7.49.0 2016-04-29 15:55:35 -03:00
Ricardo Ardissone
07ecef52b7 dotnetPackages.SharpFont: init at 3.0.1 2016-04-29 15:55:28 -03:00
Ricardo Ardissone
5c58471ff4 dotnetPackages.MonoNat: init at 1.2.21 2016-04-29 13:26:00 -03:00
Ricardo Ardissone
87993420ca dotnetPackages.FuzzyLogicLibrary: init at 1.2.0 2016-04-29 13:25:39 -03:00
Ricardo Ardissone
65ce3f91c3 dotnetPackages.SmartIrc4net: init at 0.4.5.1 2016-04-29 13:25:12 -03:00
Ricardo Ardissone
b61a6dd70a dotnetPackages.SharpZipLib: init at 0.86.0 2016-04-29 13:24:51 -03:00
Ricardo Ardissone
a1fd742491 dotnetPackages.MaxMindGeoIP2: init at 2.3.1 2016-04-29 13:24:26 -03:00
Ricardo Ardissone
540104dd5e dotnetPackages.MaxMindDb: init at 1.1.0.0 2016-04-29 13:23:36 -03:00
zimbatm
17348dc094 Remove all dots at end of descriptions
Specially crafted for @JagaJaga

    find pkgs -name "*.nix" -exec \
      sed -e 's|\(description.*\)\.";|\1";|g' -i {} \;
2016-02-27 17:30:29 +00:00
Nikolay Amiantov
8821ebe3ad remove gmcs substitutes from mono packages 2016-02-04 03:51:47 +03:00
Ricardo M. Correia
097c82f6c5 fstar: init at 2016-01-12 2016-01-19 01:46:30 +01:00
karsten gebbert
5b9de55c26 fsharp: 3.1.2.5 -> 4.0.0.4 2015-11-11 10:54:10 +01:00
Demin Dmitriy
f67184e9a9 dotnet Mono.Addins: init at 1.2 2015-10-29 06:02:03 +03:00
Pascal Wittmann
512225ef81 Fixed some descriptions 2015-06-29 16:20:58 +02:00
obadz
33e0dbbc4b dotnet: package Projekt 2015-06-23 23:12:29 +01:00
obadz
e45788993b dotnet: FSharp.Compiler.Service 0.0.89 -> 0.0.90 2015-06-23 23:12:29 +01:00
obadz
0092d04d25 dotnet: package Deedle 1.2.0 2015-06-23 23:12:29 +01:00
obadz
3e6d95fc2a dotnet: FSharp.Data 2.2.2 -> 2.2.3 2015-06-23 23:11:50 +01:00
obadz
9c205124e4 dotnet: package ExcelDna 0.32.0 + ExcelDna.Registration 2015-06-23 23:11:50 +01:00
obadz
14dcf50cb1 dotnet: package MathNet.Numerics 3.7.0 2015-06-23 23:11:08 +01:00
obadz
58418eaa67 dotnet: FSharp.AutoComplete 0.16.0 -> 0.18.2 2015-06-23 23:11:08 +01:00
obadz
24bb5d1a94 dotnet: Paket 1.6.2 -> 1.18.2 2015-06-23 23:11:08 +01:00
Luca Bruno
5c8a993a42 fetchnuget: run fixupPhase to honor propagatedBuildInputs 2015-06-12 17:13:21 +02:00
Luca Bruno
90f0bb83c3 dotnet: Add FSharpDataSQLProvider, FsPickler and Suave 2015-06-12 17:06:45 +02:00
obadz
d4681bf626 Lay down the foundation for packaging the .NET echosystem
- fetchNuGet can fetch binaries from nuget servers
- buildDotnetPackage can build .NET packages using mono/xbuild
  - Places nuget & paket as they would clash with nix
  - Patch project files because F# targets are expected to be found in
    the mono directory (and we know that's not going to happen on nix)
  - Find DLLs that were copied from buildInputs and replace by symlink
    for sharing
  - Export produced DLL via the pkg-config mechanism
  - Create wrappers for produced EXEs
- Repackaged this new infrastructure: keepass, monodevelop
- Newly packaged: ExtCore, UnionArgParser, FSharp.Data, Paket, and a
  bunch more..

This is a combination of 73 commits.
2015-06-06 09:06:22 -04:00