| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							3cd1d614e6
							
						
					 | 
					
						
						
							
							dev-lang/GHC: bump to 8.6.5
						
						
						
						
						
					 | 
					
						2019-04-24 14:45:45 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							ff1bba2534
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: bump to 8.6.5
						
						
						
						
						
					 | 
					
						2019-04-24 14:45:45 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							439d7cac7a
							
						
					 | 
					
						
						
							
							dev-lang/GHC: bump to 8.6.4
						
						
						
						
						
					 | 
					
						2019-03-06 16:53:06 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							ef0cc90bc5
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: bump to 8.6.4
						
						
						
						
						
					 | 
					
						2019-03-06 15:30:35 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							7cdc48baa2
							
						
					 | 
					
						
						
							
							dev-lang/GHC: add 8.6.3
						
						
						
						
						
					 | 
					
						2018-12-11 17:36:15 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							e67b8f8e09
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: add 8.6.3
						
						
						
						
						
					 | 
					
						2018-12-11 16:14:19 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							59d48f5815
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: add 8.4.4
						
						
						
						
						
					 | 
					
						2018-12-11 16:13:30 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							ab54bf85de
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: fix blocker
						
						
						
						
						
					 | 
					
						2018-12-11 16:13:10 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							c83f773c70
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: bump to 8.6.2
						
						
						
						
						
					 | 
					
						2018-11-09 13:35:20 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							2cb534ada2
							
						
					 | 
					
						
						
							
							dev-lang/GHC: bump to 8.6.2
						
						
						
						
						
					 | 
					
						2018-11-09 13:35:01 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							e0df2ad168
							
						
					 | 
					
						
						
							
							dev-lang/GHC: introduce :8.4.4
						
						
						
						
						
					 | 
					
						2018-10-26 10:46:17 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							a8aeaf6e85
							
						
					 | 
					
						
						
							
							dev-lang/GHC: fix manpage alternatives
						
						
						
						
						
					 | 
					
						2018-09-22 16:02:26 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							b8752b6986
							
						
					 | 
					
						
						
							
							dev-lang/GHC: add version/SLOT 8.6.1
						
						
						
						
						
					 | 
					
						2018-09-22 15:40:56 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							fbb5d28eb4
							
						
					 | 
					
						
						
							
							dev-lang/GHC: cleanup deps
						
						
						
						
						
					 | 
					
						2018-09-22 15:31:43 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							476aa72a93
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: bump to 8.6.1
						
						
						
						
						
					 | 
					
						2018-09-22 14:51:30 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							01d4e4f6b1
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: add blocker for dev-lang/GHC
						
						
						
						
						
					 | 
					
						2018-09-22 14:47:32 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							bfdcf8cb1d
							
						
					 | 
					
						
						
							
							dev-lang/GHC: add version 8.2.2
						
						
						
						
						
					 | 
					
						2018-09-21 17:53:22 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							f22c6853e2
							
						
					 | 
					
						
						
							
							dev-lang/GHC: fix alternatives for manpages
						
						
						
						
						
					 | 
					
						2018-09-21 10:32:28 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							0d8361b925
							
						
					 | 
					
						
						
							
							dev-lang/GHC: initial import
						
						
						
						
						
					 | 
					
						2018-09-21 01:50:55 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							39fbd27c03
							
						
					 | 
					
						
						
							
							dev-lang/coconut: bump to 1.4.0
						
						
						
						
						
					 | 
					
						2018-09-16 01:36:09 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							56fe1ad1ba
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: add cabal-install-bin to suggestions
						
						
						
						
						
					 | 
					
						2018-08-25 19:32:50 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							6d0047b15b
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: add SLOT 8.4.3
						
						
						
						
						
					 | 
					
						2018-08-25 19:32:50 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							eb46eeb54e
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: add SLOT 8.2.2
						
						
						
						
						
					 | 
					
						2018-08-25 19:32:39 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							59c279f05a
							
						
					 | 
					
						
						
							
							dev-lang/ghc-bin: initial import of SLOT 8.0.2
						
						
						
						
						
					 | 
					
						2018-08-25 19:32:24 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							377b048353
							
						
					 | 
					
						
						
							
							dev-lang/clojure: initial import of version 1.9.0
						
						
						
						
						
					 | 
					
						2018-05-25 19:11:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
						
						
						
							
						
						
							f02ef7d56a
							
						
					 | 
					
						
						
							
							dev-lang/fsharp: fix build
						
						
						
						
						
					 | 
					
						2018-05-14 21:51:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							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 | 
					
					
						
						
							
							
							
						
					 |