githwxi/ATS-Postiats-contrib — pull request #19 by bbarker (2014-12-10 22:45:48+00:00)
Title: ATS development environment 

Just a little environment to built ATS2 (and ATS2 contrib; untested) from github sources on NixOS.

GMP works.