Navigation:
Browse pkgsrc
(this page)| 2004-12-24 18:21:01 by Julio M. Merino Vidal | Files touched by this commit (10) |
Log message: Adjust dependencies after ocaml has been splitted into three different packages: ocaml, ocaml-graphics and labltk. Bump PKGREVISION. |
| 2004-12-03 16:15:13 by Thomas Klausner | Files touched by this commit (409) |
Log message: Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs. Suggested by Roland Illig, ok'd by various. |
| 2004-10-03 02:15:03 by Todd Vierling | Files touched by this commit (518) |
Log message: Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10 in the process. (More information on tech-pkg.) Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and installing .la files. Bump PKGREVISION (only) of all packages depending directly on the above via a buildlink3 include. |
| 2004-04-28 07:06:28 by Soren Jacobsen | Files touched by this commit (13) |
Log message: Convert to buildlink3. |
| 2004-01-24 14:51:15 by grant beattie | Files touched by this commit (34) |
Log message: replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make. |
| 2003-06-23 22:36:15 by Jason Beegan | Files touched by this commit (5) |
Log message: Build with native code compilers on systems where they're available, which now includes powerpc and sparc. Bump PKGREVISION. |
2003-03-22 21:21:21 by Krister Walfridsson | Files touched by this commit (7) |  |
Log message:
By popular demand, move coq-7.4 from math to lang in order to be consistent
with prior art (e.g. lang/twelf).
Coq is a Proof Assistant for a Logical Framework known as the
Calculus of Inductive Constructions. It allows the interactive
construction of formal proofs, and also the manipulation of
functional programs consistently with their specifications.
|
New packages: