Commit 3080c5e58522c7c1ee9b85214e504117007f0138 Parent a2c22976c180c4641fc7b2182945bec3127754b9 Author Gark Garcia <37553739+GarkGarcia@users.noreply.github.com> Date Sun, 5 May 2019 18:23:46 -0300 Removed conjecture.cabal from the repo.