Squashed commit of the travis branch
Squashed commit of the travis branch

commit 02a51fee7f0067c382d17d0f562db5152a565188
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 22:37:15 2017 -0400

    Install coq-mathcomp-ssreflect

commit 020cd593b3c94bb565790808f984b04f9a34b1b8
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 22:34:53 2017 -0400

    Stack install needed?

commit 3033c617b812b842a623b0055fee635f08a2dce1
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 22:32:24 2017 -0400

    OPAM idempotent

commit 9f06f99c2f546428b5b2a0acd996095b2422174d
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 22:28:45 2017 -0400

    OPAM idempotent

commit 4fa3526c26c2b91a02532c828ddbef858a54bd38
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 17:21:03 2017 -0400

    Do not re-init opam

commit 2f69d410dd4854f04452f2cd86a1cfde074addb9
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 17:20:26 2017 -0400

    Ignore opam repo add error

commit 5d5a1a145e49ba56659b034d28c1cf1f821bcb34
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 17:12:17 2017 -0400

    Run make in the right directory

commit 88c8a60be79a35f983fa4cc5e9f005d98828ce19
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 16:42:27 2017 -0400

    Install coq, run testsuite

commit fda2aac604f65e27d633a5df57a5982df8a7a266
Merge: e3c9754 1d60b62
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Sep 15 16:37:48 2017 -0400

    Merge branch 'master' into travis

commit e3c975435f3665eab605e2233843f49c018c2fd8
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Fri Mar 24 01:53:37 2017 -0400

    .travis.yml: Don't fetch GHC

commit ac1692bf03dfc046e653d93ebe4afb807122658f
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Fri Mar 24 01:50:42 2017 -0400

    .travis.yml: Don't run the full test

    It requires building GHC on the server, which I don't want to deal with
    right now.

commit c47b447295bf556c588964af250bf238a16bf257
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Fri Mar 24 01:40:21 2017 -0400

    .travis.yml: Check for *empty* dir (not missing)

commit 3160a7383d450d15991c470c1b56260a2ad66c47
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:50:58 2017 -0400

    .travis.yml: Travis is impossible to debug

commit 41626d1c84ea3670b56939af34dbff8957fc9a42
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:41:11 2017 -0400

    .travis.yml: Download GHC to the home directory

commit 6d1a0680533b75859de0e29b75614f2790e7df88
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:39:09 2017 -0400

    .travis.yml: Got the debugging code wrong

commit 64dae5bb29c37e4ef51155790dce70e384082ba1
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:35:48 2017 -0400

    .travis.yml: More debugging

commit bc5aa8495d3448c3e88ab99c57ba2729fcd98604
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:31:45 2017 -0400

    Travis debugging

commit 1e34cea02544798389b0dce56a5f5b5df99727ef
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:23:51 2017 -0400

    .travis.yml: Misplaced `travis_retry`

commit d532bc57ada0525c2299f77ab3180373c6570db8
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:21:40 2017 -0400

    .travis.yml: Misplaced quote

commit 4b0dbdfebea3aaa8d12c8515af149a53e9926181
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:16:58 2017 -0400

    .travis.yml: Add `travis_retry` when fetching GHC

commit 2fb6550ebdc04d5324ab9bc7c4c17f06b59bbbbb
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:16:21 2017 -0400

    .travis.yml should *extract* GHC, not just list it

commit 6e013992801bb1635e4d0ad6569e8b063be129f4
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:15:54 2017 -0400

    .travis.yml needed an extra ; for bash

commit 43d9656e8d25246c9415c1ce394bc027d7fb6029
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 18:04:26 2017 -0400

    Travis needs a GHC release *tag*, so no git

commit dfb5b1772a0cf9a9d4301bdb7284e58f1595dfd3
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 17:50:50 2017 -0400

    Escaping in .travis.yml

commit e5ea8690cdd097a2104d07196d79f288ffecc550
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 17:47:49 2017 -0400

    Making Travis run the conversion

commit 965616c93a9e29d8f5f461fb9bbb435ec33527a0
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 17:23:45 2017 -0400

    Travis only needs to `cd` once

commit 2d4eba6e5a62852dc2f2ee883c84484e6f6338ee
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 17:08:31 2017 -0400

    Turn Travis loose only on the hs-to-coq directory

commit 1a9389cda5816c81692aa011bc27cda3d8d5c85f
Author: Antal Spector-Zabusky <antal.b.sz@gmail.com>
Date:   Thu Mar 23 17:01:54 2017 -0400

    Trying to get Travis set up

    It's all very Real World™

antalsz/hs-to-coq,antalsz/hs-to-coq