100233 – New ebuild for sci-mathematics/coq (version bump)

Bug 100233 - New ebuild for sci-mathematics/coq (version bump)

Summary: New ebuild for sci-mathematics/coq (version bump)

Status:	RESOLVED FIXED

Alias:	None

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

Importance:	High enhancement (vote)
Assignee:	Gentoo Science Related Packages

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2005-07-25 07:56 UTC by Marco Maggesi
Modified:	2007-09-14 16:06 UTC (History)
CC List:	1 user (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
ebuild for coq version 8.0_p2 (coq-8.0_p2.ebuild-OLD,1.25 KB, text/plain) 2005-07-25 08:15 UTC, Marco Maggesi	Details
View All 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 Marco Maggesi 2005-07-25 07:56:42 UTC

Hi,

this is a new ebuild for sci-mathematics/coq

Differences between coq-8.0-r1.ebuild and coq-8.0_p2.ebuild

  1. Version bump 8.0pl1 -> 8.0pl2.

  2. Removed old patches.

  3. Patch level is reflected in the ebuild version.

M.

Comment 1 Marco Maggesi 2005-07-25 08:15:11 UTC

Created attachment 64274 [details]
ebuild for coq version 8.0_p2

Comment 2 Jakub Moc (RETIRED) gentoo-dev

2007-09-14 16:06:33 UTC

*coq-8.0_p3 (04 Feb 2006)

  04 Feb 2006; Matthieu Sozeau <mattam@gentoo.org> -coq-8.0.ebuild,
  +coq-8.0_p3.ebuild:
  Add latest version, compatible with ocaml-3.09.