#!/bin/bash
VERSION=`cat version`
cd build
sudo pbuilder build easycrypt_$VERSION-0ubuntu1.dsc