From 4497c8bfe1ebb43ee7755eab88656b6cae8063df Mon Sep 17 00:00:00 2001
From: Jonathan Prieto-Cubides <jonathan.cubides@uib.no>
Date: Fri, 25 Mar 2022 18:26:22 +0100
Subject: [PATCH] [ package.yaml ] update version

---
 README.md    | 65 ----------------------------------------------------
 package.yaml |  6 ++---
 2 files changed, 3 insertions(+), 68 deletions(-)
 delete mode 100644 README.md

diff --git a/README.md b/README.md
deleted file mode 100644
index b54c7982b..000000000
--- a/README.md
+++ /dev/null
@@ -1,65 +0,0 @@
-MiniJuvix  <!-- [![GitHub CI](https://github.com/heliaxdev/MiniJuvix/workflows/CI/badge.svg)](https://github.com/heliaxdev/MiniJuvix/actions) -->
-[![GPL-3.0-only license](https://img.shields.io/badge/license-GPL--3.0--only-blue.svg)](LICENSE) [![Haskell CI](https://github.com/heliaxdev/MiniJuvix/actions/workflows/ci.yml/badge.svg?branch=qtt)](https://github.com/heliaxdev/MiniJuvix/actions/workflows/ci.yml)
-====
-
-Description
------------
-
-MiniJuvix is a dependently functional programming language for writing
-efficient formally-verified [validity predicates](https://anoma.network/blog/validity-predicates/), which can be
-deployed to various distributed ledgers.  This is a software released for experimentation and research purposes
-only. No warranty is provided or implied.
-
-MiniJuvix addresses many issues that we have
-experienced while trying to write and deploy decentralised
-applications present in the ecosystem of smart-contracts:
-
-- the difficulty of
-adequate program verification,
-- the ceiling of compositional
-complexity,
-- the illegibility of execution costs, and
-- the lock-in to
-particular backends.
-
-Quick Start
------------
-
-To install MiniJuvix, you can download its sources using
-[Git](http://git-scm.com/) from the [Github
-repository](https://github.com/anoma/juvix.git). Then, the program
-can be downloaded and installed with the following commands.
-You will need to have installed [Stack](https://haskellstack.org).
-
-````bash
- $ git clone https://github.com/heliaxdev/minijuvix.git
- $ cd minijuvix
- $ stack install
-````
-
-If the installation succeeds, you must be able to run the `minijuvix` command
-from any location. To get the complete list of commands, please run `minijuvix --help`.
-
-* How to install [Stack](https://haskellstack.org):? if it's not installed.
-
-  - For Ubuntu        : `apt install stack`
-  - For Debian        : `apt install haskell-stack`
-  - For Arch Linux    : `pacman -S stack`
-  - For macOS : `brew install haskell-stack`
-  - For Windows, following the instructions
-  [here](https://docs.haskellstack.org/en/stable/install_and_upgrade/#windows).
-
-It is required at least 8GB RAM for `stack` installation.
-
-
-* To test everything works correctly, you can run the following command:
-
- ````bash
- $ stack test
- ````
-
-Community
----------
-
-We would love to hear what you think of MiniJuvix! Join us on [Discord](https://discord.gg/nsGaCZzJ)
-
diff --git a/package.yaml b/package.yaml
index 2bf804179..02045f134 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:            minijuvix
-version:         0.1.0
+version:         0.1.1
 license:         GPL-3.0-only
 license-file:    LICENSE
 copyright:       (c) 2022- Heliax AG.
@@ -13,8 +13,8 @@ category:        Compilers/Interpreters
 github:          heliaxdev/minijuvix
 
 extra-source-files:
-- README.md
-- CHANGELOG.md
+- README.org
+- CHANGELOG.org
 
 # TODO: make sections for dependency
 dependencies: