|
|
89686172dd
|
dev-lang/coconut: bump to 1.3.1
|
2017-11-26 11:08:08 +01:00 |
|
|
|
2bacd825c7
|
dev-lang/coconut: bump to 1.3.0
|
2017-09-16 14:43:51 +02:00 |
|
|
|
286ff3c58f
|
dev-lang/fstar: fix scm exheres
|
2017-06-24 16:32:29 +02:00 |
|
|
|
b517d6e1ee
|
dev-lang/coconut: bump to 1.2.3
|
2017-05-18 19:05:02 +02:00 |
|
|
|
e0fda4950e
|
dev-lang/coconut: add mypy suggestion
|
2017-03-17 22:48:24 +01:00 |
|
|
|
55d1277eb4
|
dev-lang/coconut: initial import
|
2017-03-15 20:33:57 +01:00 |
|
|
|
82373614ec
|
dev-lang/elixir: moved to ::arbor
|
2017-02-17 18:31:56 +01:00 |
|
|
|
570e4af218
|
dev-lang/elixir: bump to 1.4.2
|
2017-02-17 14:37:57 +01:00 |
|
|
|
04ddd2bb23
|
dev-lang/elixir: bump to 1.4.1
|
2017-02-02 23:06:32 +01:00 |
|
|
|
3d34e77c32
|
dev-lang/fstar: add missing pprint dep
|
2017-01-08 20:14:03 +01:00 |
|
|
|
036592cfcc
|
dev-lang/elixir: bump to 1.4.0
|
2017-01-06 15:12:56 +01:00 |
|
|
|
63596392f4
|
dev-lang/fstar: fix fetching
|
2016-12-18 21:45:22 +01:00 |
|
|
|
5ef5fce567
|
dev-lang/fstar: initial import
Change-Id: I0496b405f97e16623e2640443a99231d6282eaab
|
2016-10-20 22:34:39 +02:00 |
|
|
|
b3d67aacd8
|
Move dev-lang/fsharp from ::exony to ::hasufell
|
2016-10-20 22:24:00 +02:00 |
|
|
|
8d1a9a48e5
|
dev-lang/fsharp: rm obsolete workaround
Change-Id: I4283f2df703cdf3bde2e06fb85f9ee12b4a8dd8d
|
2016-10-20 22:23:25 +02:00 |
|
|
|
2a2577bf91
|
dev-lang/fsharp: unbreak build
* NuGet needs network
* NuGet is still broken, so https -> http
Change-Id: I0a85e5d00c2d7d939ba28b1a51fbda95afe9cdc9
Reviewed-on: https://galileo.mailstation.de/gerrit/7392
Reviewed-by: Jenkins <wk@mailstation.de>
Reviewed-by: Nikolay Orlyuk <virkony@gmail.com>
|
2016-10-20 22:20:24 +02:00 |
|
Nikolay Orlyuk
|
16c97f86b1
|
dev-lang/fsharp remove applied patches
|
2016-10-20 22:20:18 +02:00 |
|
Nikolay Orlyuk
|
305cb680f6
|
dev-lang/fsharp introduced with scm version
|
2016-10-20 22:19:42 +02:00 |
|
|
|
8f8cf16481
|
dev-lang/elixir: bump to 1.3.4
|
2016-10-09 18:24:57 +02:00 |
|
|
|
76af0f72ad
|
dev-lang/elixir: bump to 1.3.3
|
2016-09-23 21:06:23 +02:00 |
|
|
|
9098cf600b
|
dev-lang/elixir: bump to 1.3.2
|
2016-07-17 22:18:18 +02:00 |
|
|
|
681ea00565
|
dev-lang/elixir: bump to 1.3.1
|
2016-06-29 13:17:50 +02:00 |
|
|
|
565723b23e
|
dev-lang/elixir: bump to 1.3.0
|
2016-06-25 13:07:45 +02:00 |
|
|
|
51e30ff7a7
|
dev-lang/elixir: bump to 1.2.6
|
2016-06-07 22:33:32 +02:00 |
|
|
|
22a67e22f1
|
Fix suggestions and bugs spotted by zlin
https://galileo.mailstation.de/gerrit/#/c/5864/
|
2016-05-13 22:41:29 +02:00 |
|
|
|
8b1c24e748
|
dev-lang/elixir: fix licence
EPL-1.1 is already in ::arbor and is what we want.
|
2016-05-12 21:22:16 +02:00 |
|
|
|
96334b2fb1
|
dev-lang/elixir: initial import of version 1.2.5
|
2016-05-07 03:01:24 +02:00 |
|
