[prev in list] [next in list] [prev in thread] [next in thread] 

List:       fedora-extras-commits
Subject:    rdieter pushed to pvs-sbcl (master).  "rebuild (sbcl)"
From:       notifications () fedoraproject ! org
Date:       2015-04-30 22:51:58
Message-ID: 20150430225158.2D98D6087837 () bastion01 ! phx2 ! fedoraproject ! org
[Download RAW message or body]

> From 817e7282b1a18a701735dd43b18d01cafaa0b7bd Mon Sep 17 00:00:00 2001
From: Rex Dieter <rdieter@math.unl.edu>
Date: Thu, 30 Apr 2015 17:51:50 -0500
Subject: rebuild (sbcl)


diff --git a/pvs-sbcl.spec b/pvs-sbcl.spec
index e9aa623..47262e1 100644
--- a/pvs-sbcl.spec
+++ b/pvs-sbcl.spec
@@ -1,6 +1,6 @@
 Name:           pvs-sbcl
 Version:        6.0
-Release:        24%{?dist}
+Release:        25%{?dist}
 Summary:        Interactive theorem prover from SRI
 
 Group:          Applications/Engineering
@@ -215,6 +215,9 @@ update-desktop-database %{_datadir}/applications &>/dev/null ||:
 %{_texmf_main}/tex/latex/pvs
 
 %changelog
+* Thu Apr 30 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-25
+- rebuild (sbcl)
+
 * Fri Feb 13 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-24
 - rebuild (sbcl)
 
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/pvs-sbcl.git/commit/?h=master&id=817e7282b1a18a701735dd43b18d01cafaa0b7bd
                
-- 
scm-commits mailing list
scm-commits@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/scm-commits


[prev in list] [next in list] [prev in thread] [next in thread]