Merge remote-tracking branch 'begriffs/master'

2015-10-01 10:32:30 +03:00
parent 812135d1e5 3eb58c511b
commit ffeb8b1d5f
1 changed files with 1 additions and 1 deletions
@@ -4,4 +4,4 @@ packages:
 extra-deps: 
  - Ranged-sets-0.3.0
  - packdeps-0.4.1
-resolver: lts-3.1
+resolver: lts-3.7