petersen pushed to idris (f22). "rebuild"
notifications at fedoraproject.org
notifications at fedoraproject.org
Mon Apr 20 02:52:41 UTC 2015
>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=f22&id=e4c15ac2abbfba5232fb3ec2be8ef64a5ecd9abd
More information about the scm-commits
mailing list