programming language. Since change from ruby 1.6.7 to 1.6.8 are to
huge (>= 47K bytes), I omit includes here.
This update implicitly includes ruby-gdbm, ruby-readline, ruby-tk and
ruby package.
Here is pkgsrc change.
- Support pkgsrc on Solaris.
* change RUBY_ARCH default value to
${LOWER_ARCH}-${LOWER_OPSYS}${APPEND_ELF} for fixing Solairs
support.
* Add RUBY_NOSHLIBMAJOR. (needs more better scheme..?)
* Change RUBY_SHLIBVER.
* patch config.sub to proper RUBY_ARCH generation.
- Change RUBY_COMMENT to meaningful names; RUBY_NOEXT_CURSES and
RUBY_NOEXT_DBM.
- Remove patch-ak since it was fixed in original source.
programming language. Since change from ruby 1.6.7 to 1.6.8 are to
huge (>= 47K bytes), I omit includes here.
This update implicitly includes ruby-digest and ruby-tcltklib.
Here is pkgsrc change.
- Support pkgsrc on Solaris.
* change RUBY_ARCH default value to
${LOWER_ARCH}-${LOWER_OPSYS}${APPEND_ELF} for fixing Solairs
support.
* Add RUBY_NOSHLIBMAJOR. (needs more better scheme..?)
* Change RUBY_SHLIBVER.
- Change RUBY_COMMENT to meaningful names; RUBY_NOEXT_CURSES and
RUBY_NOEXT_DBM.
- Remove patch-ak since it was fixed in original source.
Changes:
* Support for NetBSD on PowerPC based systems.
* An Icon source file can be made executable under Unix by prefixing it
with a comment line
#!/usr/bin/env icon
and setting its execute permission bit. This uses a new icon command,
which in another form allows a small Icon program to be embedded within
a shell script. See the new man page for details. The traditional icont
command remains available for less specialized purposes.
* The performance of large sets and tables has been improved.
* Some minor bugs have been fixed.
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.
Also build shared libs on Linux, from Jeremy C. Reed in PR 20735.
Changes since 3.2.1:
On the following i386-based systems GCC 3.2.1 broke the C ABI wrt.
functions returning structures: Cygwin, FreeBSD (GCC 3.2.1 as shipped with
FreeBSD 5.0 does not have this problem), Interix, a.out-based Linux and
NetBSD, OpenBSD, and Darwin. GCC 3.2.2 reverts this ABI change, and thus
restores ABI-compatibility with previous releases (except GCC 3.2.1) on
these platforms.
Lots of other bug fixes, see http://gcc.gnu.org/gcc-3.2/changes.html.
Changes since 1.14a include:
* A large subset of the base package of hierarchical libraries is now
included in the build.
* The primitive FFI mechanism has been updated to match the latest official
spec, and the full Foreign libraries are also included (in hierarchical
form).
* The library function List.sortBy now uses a stable O(n log n) mergesort.
* Numerous other small fixes, including revisions to the Haskell'98 standard.
Mar 14, 2003:
the internationalization changes, somewhat modified, are now
reinstated. in theory awk will now do character comparisons
and case conversions in national language, but "." will always
be the decimal point separator on input and output regardless
of national language. isblank(){} has an #ifndef.
this no longer compiles on windows: LC_MESSAGES isn't defined
in vc6++.
fixed subtle behavior in field and record splitting: if FS is
a single character and RS is not empty, \n is NOT a separator.
this tortuous reading is found in the awk book; behavior now
matches gawk and mawk.
