| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							432962792c
							
						
					 | 
					
						
						
							
							Update ghcup-metadata
						
						
						
						
						
					 | 
					
						2023-02-19 22:56:33 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							cb193f6069
							
						
					 | 
					
						
						
							
							Update ChangeLog for 0.1.19.1
						
						
						
						
						
					 | 
					
						2023-02-19 22:55:47 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							2f268b6a25
							
						
					 | 
					
						
						
							
							Bump GHCup version
						
						
						
						
						
					 | 
					
						2023-02-19 22:44:28 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							580606af14
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'origin/pr/773'
						
						
						
						
						
					 | 
					
						2023-02-19 22:42:08 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							faa1c3992b
							
						
					 | 
					
						
						
							
							Merge branch 'issue-762'
						
						
						
						
						
					 | 
					
						2023-02-19 22:41:27 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							d17efef853
							
						
					 | 
					
						
						
							
							Merge branch 'issue-784'
						
						
						
						
						
					 | 
					
						2023-02-19 21:38:41 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							179d4dd493
							
						
					 | 
					
						
						
							
							Fixup
						
						
						
						
						
					 | 
					
						2023-02-19 19:33:01 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							e03c5ee4a1
							
						
					 | 
					
						
						
							
							Don't fail on setModificationTime, fixes #784
						
						
						
						
						
						
						
						Related:
* https://github.com/actions/runner-images/issues/7061
* https://github.com/actions/runner-images/pull/7068 
						
					 | 
					
						2023-02-19 19:24:45 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							e57a8abd3d
							
						
					 | 
					
						
						
							
							Merge branch 'issue-751'
						
						
						
						
						
					 | 
					
						2023-02-19 19:23:48 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							5fa10390a3
							
						
					 | 
					
						
						
							
							Fix CI
						
						
						
						
						
					 | 
					
						2023-02-19 19:15:09 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							e1e6f579d5
							
						
					 | 
					
						
						
							
							Use debian:10 rather
						
						
						
						
						
					 | 
					
						2023-02-19 18:48:42 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							72f8e53344
							
						
					 | 
					
						
						
							
							Fix CI
						
						
						
						
						
					 | 
					
						2023-02-19 17:32:28 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							9c464ec9fc
							
						
					 | 
					
						
						
							
							Don't fail if the duplicate is the last element
						
						
						
						
						
					 | 
					
						2023-02-19 17:25:14 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							1c9b296a5e
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'origin/pr/782'
						
						
						
						
						
					 | 
					
						2023-02-18 19:44:25 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bryan Richter
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							275522584e
							
						
					 | 
					
						
						
							
							Remove deprecated www
						
						
						
						
						
					 | 
					
						2023-02-17 13:30:29 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bryan Richter
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							804520c4bb
							
						
					 | 
					
						
						
							
							Remove duplicate js/css includes
						
						
						
						
						
					 | 
					
						2023-02-17 12:56:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bryan Richter
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							9d25581f3c
							
						
					 | 
					
						
						
							
							Use favicon from gitlab.haskell.org
						
						
						
						
						
						
						
						The current .png is presumably the wrong shape and looks flattened.
Plus, mkdocs complained that 'site_favicon' was an unrecognised
configuration name, so I used the method described in the docs instead:
https://www.mkdocs.org/user-guide/customizing-your-theme/#using-the-theme_dir 
						
					 | 
					
						2023-02-17 12:55:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bryan Richter
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							e798037d80
							
						
					 | 
					
						
						
							
							Simplify removal of next/prev buttons
						
						
						
						
						
						
						
						As documented on how to override template blocks:
https://www.mkdocs.org/user-guide/customizing-your-theme/#overriding-template-blocks
This is a big diff. I tested it by generating docs before and after the
change, and they were functionally identical. 
						
					 | 
					
						2023-02-17 12:53:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bryan Richter
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							2afe5858cb
							
						
					 | 
					
						
						
							
							Remove unused/missing javascript
						
						
						
						
						
					 | 
					
						2023-02-17 10:44:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							f575dcdad6
							
						
					 | 
					
						
						
							
							Improve usability on 'ghcup config add-release-channel'
						
						
						
						
						
						
						
						Fixes #751 (or so I hope). 
						
					 | 
					
						2023-02-12 19:58:08 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							6cf9967e7c
							
						
					 | 
					
						
						
							
							Work around missing libtinfo.so.6
						
						
						
						
						
					 | 
					
						2023-02-12 18:41:40 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							15a75d790a
							
						
					 | 
					
						
						
							
							Build arm binaries in bionic images, fixes #762
						
						
						
						
						
					 | 
					
						2023-02-12 17:16:32 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							988672ea75
							
						
					 | 
					
						
						
							
							Build arm images for bionic as well wrh #762
						
						
						
						
						
					 | 
					
						2023-02-12 17:16:27 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							6d3e8d65e1
							
						
					 | 
					
						
						
							
							Make readDirEntPortable more robust
						
						
						
						
						
					 | 
					
						2023-02-11 18:51:34 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							895e4b3f18
							
						
					 | 
					
						
						
							
							Merge branch 'issue-775'
						
						
						
						
						
					 | 
					
						2023-02-11 18:38:39 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							20f0505120
							
						
					 | 
					
						
						
							
							Don't implicitly smuggle in config options
						
						
						
						
						
						
						
						Fixes #775 
						
					 | 
					
						2023-02-09 00:04:53 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							31e83cac5e
							
						
					 | 
					
						
						
							
							Don't configure meta-mode = Strict in bootstrap
						
						
						
						
						
					 | 
					
						2023-02-08 22:42:17 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								ksqsf
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							9baba88f75
							
						
					 | 
					
						
						
							
							Add a known mirror
						
						
						
						
						
					 | 
					
						2023-02-08 22:09:04 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							d3a1115b99
							
						
					 | 
					
						
						
							
							Fix FreeBSD URL
						
						
						
						
						
					 | 
					
						2023-02-04 01:00:52 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							6d46849fec
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'origin/issue-766'
						
						
						
						
						
					 | 
					
						2023-02-03 23:58:50 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							53e324bfee
							
						
					 | 
					
						
						
							
							Fix failure on JFS filesystems
						
						
						
						
						
						
						
						Some filesystems always return DT_UNKNOWN for d_type, since
it's non-portable.
For those cases we use 'stat' to figure out the file type.
Similar to: https://github.com/ggreer/the_silver_searcher/pull/37 
						
					 | 
					
						2023-02-03 22:48:05 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							2e39b7b603
							
						
					 | 
					
						
						
							
							Fix FreeBSD URL
						
						
						
						
						
					 | 
					
						2023-02-03 22:43:41 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							048932bf50
							
						
					 | 
					
						
						
							
							Fix _eghcup invocations
						
						
						
						
						
					 | 
					
						2023-02-01 16:53:25 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							69d325bf90
							
						
					 | 
					
						
						
							
							Set metadata fetching mode to strict in bootstrap script
						
						
						
						
						
						
						
						And improve error messages. 
						
					 | 
					
						2023-02-01 16:44:10 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							3d1b8859cd
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'origin/pr/759'
						
						
						
						
						
					 | 
					
						2023-01-26 22:05:35 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							db89ca9942
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'origin/pr/758'
						
						
						
						
						
					 | 
					
						2023-01-26 22:05:30 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							bba009d98c
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'origin/pr/760'
						
						
						
						
						
					 | 
					
						2023-01-26 22:04:38 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							9d954ea174
							
						
					 | 
					
						
						
							
							Add platforms to i386 alpine
						
						
						
						
						
					 | 
					
						2023-01-26 21:18:11 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							da9c9049d2
							
						
					 | 
					
						
						
							
							Fix alpine32/Dockerfile
						
						
						
						
						
					 | 
					
						2023-01-26 21:04:07 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							a4c00d2c56
							
						
					 | 
					
						
						
							
							Make version shortcuts work with 'ghcup set', fixes #757
						
						
						
						
						
					 | 
					
						2023-01-24 15:24:03 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Zixian Cai
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							b30f565871
							
						
					 | 
					
						
						
							
							Fix index.md as well
						
						
						
						
						
					 | 
					
						2023-01-23 16:07:36 +11:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Zixian Cai
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							fa378a1d34
							
						
					 | 
					
						
						
							
							Fix section hyperlink
						
						
						
						
						
					 | 
					
						2023-01-23 16:06:00 +11:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								timo-a
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							119efb1ff4
							
						
					 | 
					
						
						
							
							fix link
						
						
						
						
						
						
						
						currently resolves to: https://www.haskell.org/ghcup/install/install/#supported-tools
this commit fixes it to https://www.haskell.org/ghcup/install/#supported-tools 
						
					 | 
					
						2023-01-22 15:36:14 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							1fb4101b49
							
						
					 | 
					
						
						
							
							Fix msys2 URL, wrt #755
						
						
						
						
						
					 | 
					
						2023-01-21 17:58:26 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							ec8333b223
							
						
					 | 
					
						
						
							
							Small CI fixes
						
						
						
						
						
					 | 
					
						2023-01-18 22:04:02 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							54b979aa0b
							
						
					 | 
					
						
						
							
							Merge remote-tracking branch 'origin/pr/748'
						
						
						
						
						
					 | 
					
						2023-01-16 21:14:15 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							ba274307c0
							
						
					 | 
					
						
						
							
							Improve CI
						
						
						
						
						
					 | 
					
						2023-01-16 20:29:16 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Rui Chen
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							a623d0809d
							
						
					 | 
					
						
						
							
							build: remove travis config
						
						
						
						
						
						
						
						Signed-off-by: Rui Chen <rui@chenrui.dev> 
						
					 | 
					
						2023-01-14 13:24:45 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							e00899d176
							
						
					 | 
					
						
						
							
							Disable simdutf on windows, wrt #745
						
						
						
						
						
					 | 
					
						2023-01-14 00:59:52 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
							
								
									
								
							
						
						
						
							
						
						
							a38ca1954b
							
						
					 | 
					
						
						
							
							Fix build on unix with -ftui
						
						
						
						
						
					 | 
					
						2023-01-13 12:33:40 +08:00 | 
					
					
						
						
							
							
							
						
					 |