petersen pushed to idris (master). "rebuild"

[notifications at fedoraproject.org]

>From e4c15ac2abbfba5232fb3ec2be8ef64a5ecd9abd Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Mon, 6 Apr 2015 11:37:05 +0530
Subject: rebuild


diff --git a/idris.spec b/idris.spec
index 2450365..0df0ae1 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
 
 Name:           idris
 Version:        0.9.9.1
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Functional Programming Language with Dependent Types
 
 License:        BSD
@@ -89,6 +89,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
 
 
 %changelog
+* Mon Apr  6 2015 Jens Petersen <petersen at redhat.com> - 0.9.9.1-5
+- rebuild
+
 * Wed Jan 28 2015 Jens Petersen <petersen at redhat.com> - 0.9.9.1-4
 - cblrpm refresh
 - fix build with ghc78
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/idris.git/commit/?h=master&id=e4c15ac2abbfba5232fb3ec2be8ef64a5ecd9abd