rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rebuild

This commit is contained in:
Jens Petersen 2017-03-13 12:15:19 +09:00
parent d5e4024144
commit 04232b3527
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Agda.spec
View File

@ -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