anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-09-20 13:07:20 +03:00
Code Issues Projects Releases Wiki Activity

fix package.yaml

Browse Source
This commit is contained in:
Jan Mas Rovira 2022-03-28 09:40:51 +02:00
parent 1e52e663ca
commit db8f8a98c9
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
package.yaml
View File

@ -1,9 +1,5 @@
name: minijuvix
<<<<<<< HEAD
version: 0.1.0
=======
version: 0.1.1
>>>>>>> origin/main
license: GPL-3.0-only
license-file: LICENSE
copyright: (c) 2022- Heliax AG.
@ -81,9 +77,6 @@ default-extensions:
- TypeFamilyDependencies
- UnicodeSyntax
# verbatim:
# default-language: GHC2021
library:
source-dirs: src
verbatim: