| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
No standard changelog provided from upstream, some bits scattered here:
* http://www.mozilla.org/js/spidermonkey/release-notes/JS_170.html
* https://developer.mozilla.org/En/SpiderMonkey/1.8
pkgsrc changes:
* Threading support (and dependency on devel/nspr) is now optional
(enabled by default). Threaded Spidermonkey may not be desirable
for e.g. server-side JavaScript usage.
* Unicode strings support optional.
* Rudimental OpenSolaris/Solaris 11 config file provided.
Release Candidate note:
Spidermonkey 1.8.0 RC1 was the last version ever released as
a standalone distribution, and is generally being used by the JavaScript
community nowaways, if needed. In the future, ripping Spidermonkey
out of the Mozilla tarball may be attempted too, to update the package
to 1.9.x.
|
|
alternative from mk/jpeg.buildlink3.mk
This allows selection of an alternative jpeg library (namely the x86 MMX,
SSE, SSE2 accelerated libjpeg-turbo) via JPEG_DEFAULT=libjpeg-turbo, and
follows the current standard model for alternatives (fam, motif, fuse etc).
The mechanical edits were applied via the following script:
#!/bin/sh
for d in */*; do
[ -d "$d" ] || continue
for i in "$d/"Makefile* "$d/"*.mk; do
case "$i" in *.orig|*"*"*) continue;; esac
out="$d/x"
sed -e 's;graphics/jpeg/buildlink3\.mk;mk/jpeg.buildlink3.mk;g' \
-e 's;BUILDLINK_PREFIX\.jpeg;JPEGBASE;g' \
< "$i" > "$out"
if cmp -s "$i" "$out"; then
rm -f "$out"
else
echo "Edited $i"
mv -f "$i" "$i.orig" && mv "$out" "$i"
fi
done
done
|
|
Pkgsrc changes:
o Adapt PLIST to changes in the set of installed files
o Adjust one patch to match the changed source
Upstream changes:
- Core
+ Just In Time native call frame generation using LibFFI
+ PIR op find_codepoint is no longer experimental, it is now supported
+ Several public functions in libparrot have been brought up to standard
naming conventions.
+ Improved linked-list implementation in GC
+ set_addr opcode is being replaced with the new set_label opcode
in core libraries
+ Removed deprecated CodeString PMC
+ Added close, is_closed, read, readline methods to Socket
+ Added experimental MappedByteArray PMC type
+ Added Parrot_warn_experimental, to warn the user about experimental features
+ Code for frontend executables moved from src/ to frontend/
+ Support for chunked receive in LWP library.
+ Added a "quickcover" make target
- Languages
+ PIRC
- left the nest and is currently at https://github.com/parrot/pirc/
+ Community
- Our README was translated into the following languages
by Google Code-In students and mentors:
Polish README.polski
Spanish README.espanol
German README.deutsch
- Documentation
- Tests
+ Test coverage increase on PMCs: String, Integer, NameSpace,
Complex, EventHandler
+ 'make quickcover' target added to speed up most essential
parts of coverage analysis
+ 'tools/dev/headerizer.pl' refactored to improve maintainability
(no change in functionality)
|
|
older releases.
|
|
|
|
- to do this, and make the result runnable on pre-thumb arm, change
upstreams assembler snippets and stubs to use "mov pc,reg" instead
of the return/call-to-thumb-friendly "bx reg", which is not available
in non-thumb-enabled arm CPUs. Whether this is the way to go, or a
seperate "armt" architecture for ocaml is needed, needs to be discussed
with upstream.
Resulting compiler, when running its selftest suite, has 6 errors less than
the same on i386. Unison compiled natively with this passes its self-test.
|
|
|
|
Boomerang is a programming language for writing lenses--well-behaved
bidirectional transformations--that operate on ad-hoc, textual data
formats. Every lens program, when read from left to right, describes
a function that maps an input to an output; when read from right
to left, the very same program describes a "backwards" function
that maps a modified output, together with the original input, back
to a modified input.
Lenses have been used to solve problems across a wide range of
areas in computing including: in data converters and synchronizers,
in parsers and pretty printers, in picklers and unpicklers, in
structure editors, in constraint maintainers for user interfaces,
in software model transformations, in schema evolution, in tools
for managing system configuration files, and in databases where
they provide updatable views.
|
|
|
|
Fold long line.
|
|
|
|
|
|
PHP 5.2.16 Released!
The PHP development team would like to announce the immediate availability of
PHP 5.2.16. This release marks the end of support for PHP 5.2. All users of
PHP 5.2 are encouraged to upgrade to PHP 5.3.
This release focuses on addressing a regression in open_basedir implementation
introduced in 5.2.15 in addition to fixing a crash inside PDO::pgsql on data
retrieval when the server is down. All users who have upgraded to 5.2.15 and
are utilizing open_basedir are strongly encouraged to upgrade to 5.2.16 or
5.3.4.
To prepare for upgrading to PHP 5.3, now that PHP 5.2's support ended, a
migration guide available on http://php.net/migration53, details the changes
between PHP 5.2 and PHP 5.3.
For a full list of changes in PHP 5.2.16 see the ChangeLog at
http://www.php.net/ChangeLog-5.php#5.2.16.
ChangeLog:
Version 5.2.16
16-Dec-2010
* Fixed bug #53517 (segfault in pgsql_stmt_execute() when postgres is
down). (gyp at balabit dot hu)
* Fixed bug #53516 (Regression in open_basedir handling). (Ilia)
|
|
full gauche version in r6983 of sourceforge repository.
|
|
New in Gauche 0.9.1: Major Feature Enhancements
+ New Features
o Extended formals: Built-in lambda, define etc. can
recognize optional and keyword arguments, a la Common Lisp.
o Enhanced module mechanism: Now you can rename, choose,
or add prefix to the symbols when importing other modules.
o Efficient record types: A new module gauche.record provides
ERR5RS (srfi-99) compatible record types. It is also upper
compatible to srfi-9 records.
o More support for multithreaded applications: Thread-safe
queue is added to util.queue, and thread-pool feature is
provided by the new module control.thread-pool.
Continuations can be passed between threads.
o Partial continuations.
o Enhanced Windows support.
o New module: crypt.bcrypt: A module for Blowfish password hashing.
o New module: srfi-98: portable environment variable lookup support.
o New module: gauche.mop.propagate: Making object composition simpler.
o New module: rfc.json: JSON parsing and construction.
+ Changes
o The directory structure for Gauche installation has changed so
that we can keep binary compatibility for the extension
modules throughout 0.9.x releases.
o Now it is an error to pass a keyword argument that isn't
expected by the callee. It used to be a warning.
o Regular expression re{,M} now means the same as re{0,M},
which is compatible to Oniguruma.
+ Improvements
o The compiler and the runtime got optimized more.
The compiler now knows more about built-in procedures, and tries
compile-time constant folding and/or inlining more aggressively.
For example, sxml.ssax can parse XML document a lot faster.
o ^ can be used in place of lambda, allowing more concise code.
There's also convenience macros ^a, ^b, ... ^z and ^_ as
abbreviations of lambda (a) etc.
o ~ is added for universal accessing operator. (~ x y) is the same
as (ref x y), and (~ x y z) is the same as (ref (ref x y) z),
and so on. It can be used with generalized setter, e.g.
(set! (~ array i) x).
o define-syntax, let-syntax, and letrec-syntax are enhanced so that
they can take a general expression in rhs, as far as it yields
a syntactic transformer.
o gauche.process: I/O redirection handling in run-process becomes
more flexible.
o rfc.http module now supports https connection (unix platforms only).
Currently it relies on an external program (stunnel).
o A new procedure current-load-path allows the program to know
the file name it is being loaded from.
o A new procedure .$ is introduced as an alternative name of compose.
o Regular expressions now got read-write invariance. Some internal
regexp routines are made public, giving users an easy way
to construct and analyze regexp programatically.
o rfc.822: New procedure: rfc822-date->date.
o file.util: The procedure temporary-directory now became a parameter
so that you can switch it when necessary. The default value is taken
from (sys-tmpdir), which determines temporary directory in the
recommended way of the platform; esp., it works on Windows native
platforms. home-directory works on Windows, too.
Procedures null-device and console-device are added to make it easier
to write portable script across Unix and Windows platforms.
o util.queue: New proceduers: any-in-queue, every-in-queue.
o gauche.parseopt: When let-args encounters a command-line option
that doesn't match any spec, it now raises a condition of type
<parseopt-error> instead of <error>. The application can capture
the condition to handle invalid command-line arguments.
o gauche.uvector: New procedure uvector-size to obtain number of octets
actually to be written out when the given uvector is written out
by write-block.
o dbm: A new procedure dbm-type->class allows an application to load
appropriate dbm implementation at runtime. Utility scripts dbm/dump
and dbm/restore are provided for easier backup and migration.
o Procedure slot-pop! is added for the consistency with other
*-push!/pop! API pairs.
o When ref is used for object slot access, it can take default value
in case the slot is unbound.
o Made (set! (ref list k) value) work.
o New procedures delete-keywords, delete-keywords!, tree-map-map,
tree-map-for-each.
o unwind-protect allows multiple handlers, as in CL.
o sqrt now returns an exact number if the argument is exact and
the result can be computed exactly. Also, R6RS's exact-integer-sqrt
is added.
o gauche.parameter: Parameters can be used with generalized set!.
o The default-endian parameter is moved from binary.io module
to the core, so that this parameter controls default endian
of binary I/O in general. For example, read-block! and write-block
of the gauche.uvector module now uses the value of this parameter
as the default. A new procedure native-endian is added to retrieve
the platform's native endianness.
o More R6RS procedures: inexact, exact, real-valued?, rational-valued?,
integer-valued?, div, mod, div0, mod0.
A number of bug fixes.
|
|
BufferedReader.readLine (while building wip/jdk15)
KAFFE_BUGGY_NETBSD_SIGWAIT is only required in older NetBSD releases, and
in fact breaks NetBSD 5
Bump PKGREVISION
many thanks
|
|
New in version 1.0.45
* enhancement: ~/ and ~user/ are treated specially in pathnames.
* enhancement: ASDF has been updated to version 2.010.
* optimization: mutated closed-over variables that are only accessed
by DYNAMIC-EXTENT closures (currently only FLET and LABELS functions
declared to be DYNAMIC-EXTENT) are stored directly in their containing
stack frame, rather than allocating a VALUE-CELL (#586103).
* optimization: UNWIND-PROTECT cleanup functions are now declared
DYNAMIC-EXTENT.
Bug fixes.
New in version 1.0.44
* enhancement: RUN-PROGRAM accepts :EXTERNAL-FORMAT argument
to select the external-format for its :INPUT, :OUTPUT, AND
:ERROR :STREAMs.
* enhancement: ALLOCATION-INFORMATION also provides the page
the object resides on.
* enhancement: default dynamic-space size can be configured at
build-time without touching source, using the --dynamic-space-size
argument to make.sh.
* enhancement: DESCRIBE recognizes symbols naming optimization
policy qualities, and mentions ALWAYS-BOUND declarations.
* enhancement: ATOMIC-INCF now supports AREF of
(SIMPLE-ARRAY SB-EXT:WORD (*)) as a place.
* enhancement: ASDF has been updated to 2.009.
* enhancement: the system detects known type-erros in calls better,
signalling a full warning about violated proclaimed FTYPEs and
violations of derived FTYPEs within the same file, including self-calls.
* enhancement: new function: SB-EXT:DELETE-DIRECTORY is now provided.
* optimization: constant-folding exploits numeric and character types,
in addition member types.
* optimization: numeric, character and member types that are inhabited
by exactly one value are tested with EQL.
* optimization: more conditional branches are eliminated during IR1.
Branches are simplified before performing if/if-conversion,
and simple equivalent branches (that only read the same constant
or variable) are merged.
* improvements to the Windows port:
+ change: canonical unparsing form for pathname namestrings now
uses / as directory separator. NATIVE-NAMESTRING still uses \
as the separator.
+ bug fix: stackoverwriting due to incorrect usage of PeekConsoleInput
on Windows. (thanks to Kalyanov Dmitry)
+ bug fix: build now works on cygwin with GCC 4.x installed.
+ bug fix: run-sbcl.sh now works on Cygwin. (thanks to Kalyanov Dmitry)
Bug fixes.
New in version 1.0.43
* incompatible change: FD-STREAMS no longer participate in the
serve-event event-loop by default. (#316072)
+ In addition to streams created by explicit calls to MAKE-FD-STREAM
this affects streams from CL:OPEN.
+ Streams from SOCKET-MAKE-STREAM still participate in
serve-event by default, but this is liable to change:
applications needing serve-event for socket streams
should explicitly request it using :SERVE-EVENTS T in the call.
* enhancement: SB-EXT:WORD type is provided for use with
SB-EXT:ATOMIC-INCF &co.
* enhancement: CLOS effective method functions and defclass slot
typechecking function now have debug names for use in backtraces
and profiles.
* enhancement: ASDF has been updated to version 2.004.
* enhancement: symbols are printed using fully qualified names
in several error and warning messages which are often associated
with package conflicts or mixups (#622789, thanks to Attila Lendvai)
Bug fixes.
|
|
Requested in PR pkg/44076
Changes since previous package:
Wed Jul 7 10:51:12 MDT 2010
src/data.c, src/format.c, src/p1output.c: "invisible" tweaks to
silence warnings seen in compilation under Ubuntu; version.c not changed.
Fri Aug 27 09:14:17 MDT 2010
format.c: make sizeof(buf) depend on MAXNAMELEN to fix a bug with long
names. Update mswin/f2c.exe.gz accordingly.
Fri Sep 3 16:03:24 MDT 2010
fc: have "-m ..." modify CC rather than CFLAGS (to affect linking).
|
|
The PHP development team is proud to announce the immediate release of PHP
5.3.4. This is a maintenance release in the 5.3 series, which includes a large
number of bug fixes.
Security Enhancements and Fixes in PHP 5.3.4:
* Fixed crash in zip extract method (possible CWE-170).
* Paths with NULL in them (foo\0bar.txt) are now considered as invalid
(CVE-2006-7243).
* Fixed a possible double free in imap extension (Identified by Mateusz
Kocielski). (CVE-2010-4150).
* Fixed NULL pointer dereference in
ZipArchive::getArchiveComment. (CVE-2010-3709).
* Fixed possible flaw in open_basedir (CVE-2010-3436).
* Fixed MOPS-2010-24, fix string validation. (CVE-2010-2950).
* Fixed symbolic resolution support when the target is a DFS share.
* Fixed bug #52929 (Segfault in filter_var with FILTER_VALIDATE_EMAIL with
large amount of data) (CVE-2010-3710).
Key Bug Fixes in PHP 5.3.4 include:
* Added stat support for zip stream.
* Added follow_location (enabled by default) option for the http stream
support.
* Added a 3rd parameter to get_html_translation_table. It now takes a charset
hint, like htmlentities et al.
* Implemented FR #52348, added new constant ZEND_MULTIBYTE to detect zend
multibyte at runtime.
* Multiple improvements to the FPM SAPI.
* Over 100 other bug fixes.
For users upgrading from PHP 5.2 there is a migration guide available here,
detailing the changes between those releases and PHP 5.3.
For a full list of changes in PHP 5.3.4, see the ChangeLog. For source
downloads please visit our downloads page, Windows binaries can be found on
windows.php.net/download/.
|
|
The PHP development team would like to announce the immediate
availability of PHP 5.2.15. This release marks the end of support for
PHP 5.2. All users of PHP 5.2 are encouraged to upgrade to PHP 5.3.
This release focuses on improving the security and stability of the
PHP 5.2.x branch with a small number, of predominatly security fixes.
Security Enhancements and Fixes in PHP 5.2.15:
* Fixed extract() to do not overwrite $GLOBALS and $this when using
EXTR_OVERWRITE.
* Fixed crash in zip extract method (possible CWE-170).
* Fixed a possible double free in imap extension.
* Fixed possible flaw in open_basedir (CVE-2010-3436).
* Fixed NULL pointer dereference in
ZipArchive::getArchiveComment. (CVE-2010-3709).
* Fixed bug #52929 (Segfault in filter_var with FILTER_VALIDATE_EMAIL with
large amount of data).
Key enhancements in PHP 5.2.15 include:
* Fixed bug #47643 (array_diff() takes over 3000 times longer than php
5.2.4).
* Fixed bug #44248 (RFC2616 transgression while HTTPS request through proxy
with SoapClient object).
* To prepare for upgrading to PHP 5.3, now that PHP 5.2's support ended, a
migration guide available on http://php.net/migration53, details the changes
between PHP 5.2 and PHP 5.3.
For a full list of changes in PHP 5.2.15 see the ChangeLog at
http://www.php.net/ChangeLog-5.php#5.2.15.
|
|
|
|
Changes from 3.1.7 to 3.1.8
---------------------------
1. The zero flag no longer applies to %c and %s; apparently the standards
changed at some point.
2. Updated to latest infrastructure: Autoconf 2.65, Automake 1.11.1,
libtool 2.2.6b, Bison 2.4.2.
3. Failure to open a socket is no longer a fatal error.
4. dfa.h and dfa.c are now more-or-less in sync with GNU grep, for the first
time in many years.
5. Gawk no longer includes its own copy of libsigsegv but it will use it if
installed on the build system. The --disable-libsigsegv configure option
is now gone.
6. The ' flag (%'d) is now just ignored on systems that can't support it.
7. Lots of bug fixes, see the ChangeLog.
|
|
|
|
|
|
Ficl is a complete programming language interpreter designed to be
embedded into other systems (including firmware based ones) as
a command, macro, and development prototype language.
Ficl stands for "Forth Inspired Command Language".
|
|
Full Changelog: http://www.mono-project.com/Release_Notes_Mono_2.8.1
|
|
Ruby 1.9.2 imported, maybe.
|
|
|
|
|
|
changes:
-added regression-test suite
-two new compiler error messages, E990 and E994
-floating-point library is now automatically included if a program NEXTs
to labels in the range 5000-5999
-misc fixes
|
|
Local pkgsrc changes are minimal: date change and checksum updates.
Upstream changes are ... many, please refer to
http://pcc.ludd.ltu.se/
for pointers to the buck tracker and list of resolves issues.
|
|
natively (that is, only to byte-code).
This consists of two parts:
a) a patch to ocamldoc/Makefile to make it create the man pages using
the interpreted ocamldoc - this exists for both types of architectures,
so is safe. (This will be sent up-stream).
b) move a common shared library file to the common PLIST, and a lot of
files (natively compiled versions of the ML modules and natively compiled
versions of a few binaries) to PLIST.opt.
This has been build-tested on i386 (cross-compiled from amd64) and on
arm. unison builds and works.
"make test" shows the same amount of passed and failed tests (mostly
non-found libraries) as before; but this needs more investigation.
An additional issue to solve (with upstream) is that there's no easy way
to run the part of the test suite that would work on byte-code-only
architectures.
|
|
http://svn.php.net/viewvc?view=revision&revision=305032
- CVE-2010-3710 (a part of SA41724)
http://svn.php.net/viewvc?view=revision&revision=303885
- CVE-2010-3870 (a part of SA41724)
http://svn.php.net/viewvc?view=revision&revision=305055
Bump PKGREVISION.
|
|
- CVE-2010-3710 (a part of SA41724)
http://svn.php.net/viewvc?view=revision&revision=303779
- CVE-2010-3870 (a part of SA41724)
http://svn.php.net/viewvc?view=revision&revision=304959
- CVE-2010-4150 (php-imap)
http://svn.php.net/viewvc?view=revision&revision=305032
- CVE-2010-4156 (SA42135)
http://svn.php.net/viewvc?view=revision&revision=305214
Bump PKGREVISION.
|
|
New in 5.11.9
Lots of changes. Mostly relevant to (semantic) web.
Also some Windows enhancements, such as better errors from sockets
and portability of extended file operations library.
New in 5.11.8
This version is exactly the same as version 5.10.2.
Mostly a bugfixing release.
New 5.11.7
Lots of stuff. The highlight is on environment issues (PlDoc, PceEmacs),
but there is a lot of other stuff as well.
If you use PlDoc, be aware that the previous release has a security issue.
New in 5.11.6
Many bug fixes and big speedup for some RDF applications (notably
those involving many graphs). The rest are mainly minor issues.
New in 5.11.5
This is a bug-fix release. This version also includes some of
the results of the ISO WG17 meeting in Edinburgh.
There is a modification to absolute_file_name/3 with regard to
directory handling.
There is -hopefully- a fix for a weird conflict around Bool when
compiling using Macports.
|
|
With advent of git version control changes are unknown.
|
|
PKGREVISION++
|
|
fixes taken from the Python 2.7 branch in the Python SVN repository.
|
|
|
|
Pkgsrc changes:
o Copy FreeBSD's method to determine physical memory (fixed upstream
in later versions)
o Adapt to changes in the installed contents.
Upstream changes:
- Core
+ We are on github now! https://github.com/parrot/parrot
+ Configure, build and test subsystems were made Git-aware
+ New parrot_config key 'osvers' which contains
Operating System Version information
+ Updated to the latest nqp-rx
+ A proper exception is now thrown on IO read errors
+ Garbage Collector optimizations and memory leak fixes
+ Deprecated charset ops were removed
+ Configure system learned to detect IPv6
+ The mk_language_shell and create_language scripts have not yet been
ported to Git.
- Documentation
+ How To Use Git to work on Parrot
https://github.com/parrot/parrot/blob/master/docs/project/git_workflow.pod
+ Git Terminology
https://github.com/parrot/parrot/blob/master/docs/project/git_terminology.pod
- Platforms
- Testing
+ Increased coverage on: String, FixedBooleanArray, PMCProxy, LexPad
- Community
+ Macports portfile updated to 2.6.0
+ A Fedora package for PL/Parrot ( postgresql-plparrot ) was created
This package allows you to write stored procedures for PostgreSQL in
PIR or Rakudo Perl 6 http://pl.parrot.org
+ Parrot Foundation is teaming up with The Perl Foundation and taking
part in Google Code-In 2010.
|
|
Assume maintainership.
Changes since version 21:
V27
- Fixed REPOSITION-FILE FILE-SIZE and FILE-POSITION.
They used to use single precision offset. Now use double as specified.
- Delete object directories in Makefile clean.
- Fixed "Issue 4: Filehandle remains locked upon INCLUDE error".
http://code.google.com/p/pforth/issues/detail?id=4&can=1
- Fixed scrambled HISTORY on 64-bit systems. Was using CELL+ but really needed 4 +.
- Fixed floating point input. Now accepts "1E" as 1.0. Was Issue #2.
- Fixed lots of warning and made code compatible with C89 and ANSI. Uses -pedantic.
- Use fseek and ftell on WIN32 instead of fseeko and ftello.
- Makefile is now more standard. Builds in same dir as Makefile. Uses CFLAGS etc.
- Add support for console IO with _WATCOMC_
- Internal CStringToForth and ForthStringToC now take a destination size for safety.
- Run units tests for CStringToForth and ForthStringToC if PF_UNIT_TESTS is defined.
V26 5/20/2010
- 64-bit support for M* UM/MOD etc by Aleksej Saushev. Thanks Aleksej!
V25 5/19/2010
- Added 64-bit CELL support contributed by Aleksej Saushev. Thanks Aleksej!
- Added "-x c" to Makefile CCOPTS to prevent confusion with C++
- Allow space after -d command line option.
- Restore normal tty mode if pForth dictionary loading fails.
V24 2/20/09
- Fixed Posix IO on Mac. ?TERMINAL was always returning true.
- ACCCEPT now emits a space at end of line before output.
- Fixed RESIZE because it was returning the wrong address.
V23 8/4/2008
- Removed -v option from mkdir in build/unix/Makefile. It was not supported on FreeBSD.
Thank you Alexsej Saushev for reporting this.
V23 7/20/2008
- Reorganized for Google Code project.
V22 (unreleased)
- Added command line history and cursor control words.
- Sped up UM* and M* by a factor of 3. Thanks to Steve Green for suggested algorithm.
- Modified ACCEPT so that a line at the end of a file that does NOT have a line
terminator will now be processed.
- Use _getch(), _putch(), and _kbhit() so that KEY, EMIT and ?TERMINAL will work on PC.
- Fixed : foo { -- } 55 ; - Was entering local frame but not exiting. Now prints error.
- Redefined MAKE_ID to protect it from 16 bit ints
- John Providenza says "If you split local variables onto 2 lines, PForth crashes." Fixed. Also allow \
- Fixed float evaluation in EVALUATE in "quit.fth".
- Flush register cache for ffColon and ffSemiColon to prevent stack warnings from ;
|
|
http://svn.python.org/view/python/branches/release27-maint/Lib/smtpd.py?r1=86084
&r2=82503&view=patch
|
|
- Set RUBY_API_VERSION after RUBY_VERSION has decided.
- Change old RUBY_DOCDIR and RUBY_EXAMPLESDIR to RUBY_DOC and RUBY_EG in
comment.
- Fix shared libraries PLIST to support Mac OS X with introducing RUBY_SLEXT:
Shared library => .dylib
Extension library => .bundle
- Improve PRINT_PLIST_AWK to handle new shared libraries.
No functional change shoud be done and fix PR pkg/44050.
|
|
|
|
Main changes:
Includes a new tactic (nsatz, standing for Hilbert's NullStellensatz, that
extends ring to systems of polynomial equations) and a few new libraries (a
certification of mergesort, a new library of finite sets with computational and
logical contents separated).
This version also comes with many improvements of existing features, especially
regarding the tactics, the module system, extraction, the type classes, the
program command, libraries, coqdoc. Here is an excerpt:
* new operator <+ for conveniently chaining application of functors
* new round of extension of the modular library of arithmetic
* support for matching terms with binders in Ltac,
* linking notations in coqdoc,
* quote tactic now working on arbitrary expressions,
* Lemma and co accept parameters that are automatically introduced,
* interactive proofs in module types,
* a beautifying coqc option for pretty-printing files
See the file CHANGES for a full log of changes.
|
|
Scala 2.8.1 has been designed to be fully binary compatible with
the previous version 2.8.0. It includes many bug fixes and contains
many small improvements and fixes, particularly concerning Scaladoc.
See http://www.scala-lang.org/node/8102 for more details.
|
|
* On Darwin, optionally set F2C_F77_CPP, so it can be set in mk.conf
|
|
While here, re-add libxslt build depend.
Bump PKGREVISION.
|
|
difference = 0).
Fixes PR#44037.
|
|
|
