From 04232b352728cf7d94162d941afa86db3ea26331 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 13 Mar 2017 12:15:19 +0900 Subject: [PATCH] rebuild --- Agda.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Agda.spec b/Agda.spec index 73bc373..71683f8 100644 --- a/Agda.spec +++ b/Agda.spec @@ -16,7 +16,7 @@ Name: %{pkg_name} Version: 2.5.2 # can only be reset when all subpkgs bumped -Release: 5%{?dist} +Release: 5%{?dist}.1 Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD