| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
Import package from Jaap Boender
This fixes PR pkg/35949
|
|
such as types and values, natively in OCaml programs.
The goal of the OCamlDuce project is to extend the OCaml language with features
to make it easier to write safe and efficient complex applications that need to
deal with XML documents. In particular, it relies on a notion of types and
patterns to guarantee statically that all the possible input documents are
correctly processed, and that only valid output documents are produced.
WWW: http://www.cduce.org/ocaml
|
|
|
|
"&&" as some shells do not like this.
|
|
RUBY_SITERIDIR.
It fixes install error of textproc/ruby-redcloth when ruby18-base didn't
biild with ruby-build-ri-db option.
Noted by obache@ via private mail and approved by wiz@.
Bump PKGREVISION.
|
|
properly enough for pkgsrc use.
|
|
fix build problems under Solaris. Based on a suggestion by Aleksey Cheusov.
|
|
in PR pkg/34987. This also fixes PR pkg/36096.
|
|
|
|
|
|
|
|
|
|
This version represent >19 month of development since the version 6.4,
and the list of changes is far too big to include here. See
http://www.haskell.org/ghc/docs/6.6/html/users_guide/release-6-6.html
for the list of user visible changes.
|
|
|
|
on maintaining them. Switch MAINTAINER to tech-pkg, so I can focus on those
which I am still using.
|
|
|
|
Provided by MAINTAINER, Jaap Boender in PR 35941.
ChangeLog:
2006-01 M. Seutter
* Bumped version to 1.2.7
* ANSI-fied code of runtime system and prepared for WIN32 port
* Finished MS VC++ 6.0 port
2004-12-10 Marco van Zwetselaar
* Added autogen.sh as a convenience for maintainers. It invokes the
autotools machinery and should be called right after pulling cdl3
from CVS, or whenever a Makefile.am or configure.in changes
* Updated the README, INSTALL, NEWS, TODO and AUTHORS files
* Added .cvsignore files in several places
* Fixed various Makefile.ams to get rid of cruft
* configure.in
- bumped version to 1.2.6
* man pages
- moved man N stuff to man 7 as per File Hierarchy Standard
- use the autotools man_MANS mechanism
- man.{1,3} pages now get generated from man.{1,3}.in
* examples
- Makefile.example now gets generated from Makefile.example.in
|
|
|
|
Based on patch provided by Raphael Langerhorst in PR 35308.
1.0pre3:
- Many tiny code cleanups and some small fixes
- Some fixes for *BSD systems and 64bit sysytems
- List of builtin functions is now a hash (thx to bernd)
- Improved performance by reusing stack structs (thx to bernd)
1.0pre2:
It contains some small cleanups and build fixes related to mod_fann and mod_gl.
1.0pre1:
It only contains some small bugfixes and cleanups compared to version 0.9i
0.9i:
This release is primarly a bugfix release.
|
|
|
|
- discontinue use of RUBY_PATCH_DATE.
- Introduce RUBY_PATCH_LEVEL.
pkgsrc's ruby tracks Ruby's patch release and avoid to maintain
its own patch files (with RUBY_PATCH_DATE).
Changes are too much, please see ChangeLog file.
|
|
- discontinue use of RUBY_PATCH_DATE.
- Introduce RUBY_PATCH_LEVEL.
pkgsrc's ruby tracks Ruby's patch release and avoid to maintain
its own patch files (with RUBY_PATCH_DATE).
Changes are too much, please see ChangeLog file.
|
|
|
|
to the versions corresponding to the 2006-09 release. This should have
been done when the main hugs package was updated to this version back in
October of past year.
|
|
|
|
New version has NetBSD/powerpc support (although I haven't adjusted
the Makefile due to lack of test machines) and now builds the
sb-posix package properly.
|
|
|
|
|
|
no reaction from him (this time I waited 11 days, where I still have no
reply from my last change which was over an 1 year ago).
|
|
ARM.
|
|
noted by Manuel Bouyer
|
|
Many changes, among them:
- Many bugs have been fixed (cf coq-bugs web page)
- changed parsing precedence of let/in and fun constructions of Ltac:
let x := t in e1; e2 is now parsed as let x := t in (e1;e2).
- New primitive "external" for communication with tool external to Coq.
- Omega now handles arbitrary precision integers.
- Haskell extraction: types of functions are now printed, better
unsafeCoerce mechanism, both for hugs and ghc.
- Scheme extraction improved, see http://www.pps.jussieu.fr/~letouzey/scheme.
- New notation "exists! x:A, P" for unique existence.
- New library on String and Ascii characters (contributed by L. Thery).
- New library FSets+FMaps of finite sets and maps.
- New library QArith on rational numbers.
- Few improvements in ZArith potentially exceptionally breaking the
compatibility (useless hypothesys of Zgt_square_simpl and
Zlt_square_simpl removed; fixed names mentioning letter O instead of
digit 0; weaken premises in Z_lt_induction).
|
|
|
|
Patch provided by Sergey Svishchev in private mail.
|
|
From Sergey Svishchev in private mail.
|
|
large number of other fixes. Update for all users is strongly advised.
|
|
Bump PKGREVISION for the PLIST change.
|
|
consistent names. (See REPLACE_PERL, REPLACE_AWK, REPLACE_SH, ...)
|
|
used before.
|
|
and the changes pulled up to all release branches.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(true for 1.5, but officially branded as such for 6), so this is called
"sun-j{dk,re}6" rather than "sun-j{dk,re}16".
amd64 support is not currently included, but initial provision exists in
the sun-jre6 package as it was cloned initially from sun-jre15.
|
|
|
|
|
|
|
