name: dedukti
license_spdx: Other
version: 1.1.4
spec_version: 1.0
download_url: http://hackage.haskell.org/package/dedukti-1.1.4/dedukti-1.1.4.tar.gz
home_url: 
                http://www.lix.polytechnique.fr/dedukti
              
news_url: https://libraries.io/hackage/dedukti/versions.atom
date: 2015-01-26
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/dedukti?number=1.1.4
