379035 – sci-mathematics/coq: version bump to 8.3_p2 (upstream versioning 8.3pl2)

Bug 379035 - sci-mathematics/coq: version bump to 8.3_p2 (upstream versioning 8.3pl2)

Summary: sci-mathematics/coq: version bump to 8.3_p2 (upstream versioning 8.3pl2)

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Hanno Böck gentoo-dev

2011-08-13 11:13:43 UTC

New version, please bump.
Changelog: http://coq.inria.fr/distrib/8.3pl2/CHANGES

Comment 1 Thomas Kahle (RETIRED) gentoo-dev

2011-08-13 12:53:42 UTC

Done, thanks for the reminder.

+*coq-8.3_p2 (13 Aug 2011)
+
+  13 Aug 2011; Thomas Kahle <tomka@gentoo.org> +coq-8.3_p2.ebuild:
+  bump to pl2
+