calculate
/
gentoo-overlay
7
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '43f47ebcaf'
${ noResults }
gentoo-overlay/sci-mathematics/sha1-polyml/ChangeLog-2015

13 lines
518 B
Raw Blame History

# ChangeLog for sci-mathematics/sha1-polyml
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/sha1-polyml/ChangeLog,v 1.2 2013/05/24 05:50:44 gienah Exp $
24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
fix bug 466776 - typo in email address
*sha1-polyml-5.5.0 (08 Dec 2012)
08 Dec 2012; Mark Wright <gienah@gentoo.org> +metadata.xml,
+sha1-polyml-5.5.0.ebuild:
Add sci-mathematics/sha1-polyml for sci-mathematics/isabelle
Reference in new issue View Git Blame Copy Permalink