Jack Henahan  
		
	
	2b23072c34 
	
	
	Pin avr-gcc in shell.nix pending release of 8.3.0 ( #3922 )  
		
			... 
			* Pin avr-gcc in shell.nix pending release of 8.3.0
There's apparently a critical bug in 8.2.0, which is now the nixpkgs default. This change overrides that default in favor of the known good version. Once 8.3.0 is the default, the override can be dropped.
* Arch/Manjaro fix 
		
	 
 
		2018-09-25 15:16:35 -07:00 
	 
	
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2016-06-27 09:52:01 -04:00 
		 
	
		
			
			
			
			
			
			2017-08-22 09:09:51 -04:00 
		 
	
		
			
			
			
			
			
			2018-05-09 09:14:30 -07:00 
		 
	
		
			
			
			
			
			
			2017-05-28 21:30:55 +03:00 
		 
	
		
			
			
			
			
			
			2016-06-02 13:00:44 -04:00 
		 
	
		
			
			
			
			
			
			2018-04-19 09:28:55 -07:00 
		 
	
		
			
			
			
			
			
			2017-06-23 23:05:42 -04:00 
		 
	
		
			
			
			
			
			
			2017-06-23 23:05:42 -04:00 
		 
	
		
			
			
			
			
			
			2017-06-23 23:05:42 -04:00 
		 
	
		
			
			
			
			
			
			2018-02-05 08:54:49 -08:00 
		 
	
		
			
			
			
			
			
			2016-06-02 13:00:44 -04:00 
		 
	
		
			
			
			
			
			
			2016-06-03 22:42:51 -04:00 
		 
	
		
			
			
			
			
			
			2018-03-26 11:43:37 -07:00 
		 
	
		
			
			
			
			
			
			2017-08-20 11:17:19 -04:00 
		 
	
		
			
			
			
			
			
			2018-09-25 15:16:35 -07:00 
		 
	
		
			
			
			
			
			
			2018-07-07 17:37:37 -07:00 
		 
	
		
			
			
			
			
			
			2018-05-09 09:14:30 -07:00 
		 
	
		
			
			
			
			
			
			2018-09-13 11:22:05 -07:00 
		 
	
		
			
			
			
			
			
			2018-05-10 00:36:40 -04:00 
		 
	
		
			
			
			
			
			
			2018-08-02 23:07:33 -04:00 
		 
	
		
			
			
			
			
			
			2018-08-11 13:18:36 -07:00 
		 
	
		
			
			
			
			
			
			2017-11-02 00:51:41 +00:00 
		 
	
		
			
			
			
			
			
			2017-11-20 23:37:38 -05:00 
		 
	
		
			
			
			
			
			
			2018-03-29 18:18:50 -04:00 
		 
	
		
			
			
			
			
			
			2018-03-26 11:43:37 -07:00 
		 
	
		
			
			
			
			
			
			2018-03-22 02:50:38 -04:00 
		 
	
		
			
			
			
			
			
			2016-09-15 19:49:29 -05:00 
		 
	
		
			
			
			
			
			
			2018-02-06 23:21:03 -05:00 
		 
	
		
			
			
			
			
			
			2017-09-15 21:59:56 -04:00