From: Anders Mörtberg Date: Wed, 14 Oct 2015 21:31:36 +0000 (-0400) Subject: Update cabal file (fix typo, remove old email address and experiments/*ctt) X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=358b8b3e053ce07d1191396b4980945549ce0ceb;p=cubicaltt.git Update cabal file (fix typo, remove old email address and experiments/*ctt) --- diff --git a/cubicaltt.cabal b/cubicaltt.cabal index 8452d5d..ca1fe2d 100644 --- 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