Update cabal file (fix typo, remove old email address and experiments/*ctt)

diff --git a/cubicaltt.cabal b/cubicaltt.cabal
index 8452d5de8ce46a1dfbe1d7331232bb7049208d7a..ca1fe2d321f322bf76fd709d595342f439dac96c 100644 (file)
--- a/cubicaltt.cabal
+++ b/cubicaltt.cabal
@@ -4,15 +4,16 @@
 name:                cubicaltt
 version:             1.0
 synopsis:            Experimental implementation of a cubical type theory
-description:         Experimental implementation of a cubical type theory in which the user can directly manipulate n-dimensional cubes.
+description:         Experimental implementation of a cubical type theory in
+                     which the user can directly manipulate n-dimensional cubes.
 license:             MIT
 license-file:        LICENSE
 author:              Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
-maintainer:          mortberg@chalmers.se
+maintainer:
 -- copyright:
 category:            Language
 build-type:          Custom
-extra-source-files:  Makefile, README.md, Exp.cf, examples/*.ctt, experiments/*.ctt, cubical.el
+extra-source-files:  Makefile, README.md, Exp.cf, examples/*.ctt, cubicaltt.el
 cabal-version:       >=1.10
 
 executable cubical