summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2010-10-24Note the addition of spin-5.2.5agc1-1/+2
2010-10-24Add and enable spinagc1-1/+2
2010-10-24Initial import of spin version 5.2.5 into the Packages Collection.agc4-0/+54
To verify a design, a formal model is built using PROMELA, Spin's input language. PROMELA is a non-deterministic language, loosely based on Dijkstra's guarded command language notation and borrowing the notation for I/O operations from Hoare's CSP language. Spin can be used in four main modes: 1. as a simulator, allowing for rapid prototyping with a random, guided, or interactive simulations 2. as an exhaustive verifier, capable of rigorously proving the validity of user specified correctness requirements (using partial order reduction theory to optimize the search) 3. as proof approximation system that can validate even very large system models with maximal coverage of the state space. 4. as a driver for swarm verification (a new form of swarm computing), which can make optimal use of large numbers of available compute cores to leverage parallelism and search diversification techniques, which increases the chance of locating defects in very large verification models. With thanks to the plan9 guys for the nudge
2010-10-24Note PKGREVISION bump of tex-uhc-fonts-{base,extra}.minskim1-1/+3
2010-10-24Remove tex-uhc-fonts-*'s dependency on teTeX.minskim5-10068/+10075
Patches provided by Nicolas Thauvin.
2010-10-24Use my TNF e-mail in MAINTAINER field.shattered1-2/+2
2010-10-24Missed the included patch in PR pkg/38038, now its also appendedpettai3-9/+27
2010-10-24Updated net/pptp to 1.7.1pettai2-3/+3
2010-10-24Release 1.7.1: (13th February 2006)pettai2-7/+7
- use prctl(2) to set process name [Cameron] - add --version option [Cameron] - remove superfluous sigset [Cameron/Gono] - default options file to not require MPPE (#166394) [Howarth] - add PROTOCOL-SECURITY discussion [Cameron/Mueller] Fixes old PR pkg/38038
2010-10-24Updated www/ikiwiki to 3.20101023schmonz1-1/+2
2010-10-24Update to 3.20101023. From the changelog:schmonz3-10/+10
* Fix typo that broke anonymous git push. * Fix web reversion when the srcdir is in a subdir of the git repo.
2010-10-24fix getline(3) conflicts, "getline" -> "cmp3_getline"plunky4-6/+66
2010-10-23Added sysutils/flashrom version 0.9.3pre1216jakllsch1-1/+2
2010-10-23+flashromjakllsch1-1/+2
2010-10-23import flashrom 0.9.3 prereleasejakllsch4-0/+58
Flashrom is a utility which can be used to detect, read, and write BIOS chips.
2010-10-23buildlink for liftdijakllsch1-0/+14
2010-10-23+libftdijakllsch1-1/+2
2010-10-23Added devel/libftdi version 0.18jakllsch1-1/+2
2010-10-23import libftdi package.jakllsch4-0/+43
libFTDI is an open source library to talk to FTDI chips: FT232BM, FT245BM, FT2232C, FT2232D and FT245R, including the popular bitbang mode. The library is linked with your program in userspace, no kernel driver required. libFTDI works perfectly with Linux, Windows, MacOS X and BSD variants thanks to libusb.
2010-10-23Updated mail/p5-Mail-DKIM to 0.38pettai2-3/+3
2010-10-23Updated net/libtrace to 3.0.7pettai1-1/+2
2010-10-23New Features:pettai3-8/+14
* Replaced IO subsystem with wandio abstraction * IO / compression / decompression is now performed in a separate thread, resulting in improved performance * Modular design makes it easy to add support for new compression formats * Added native support for reading and writing bzip files * Added native support for writing lzo files * JITing of BPF bytecode using LLVM, leading to faster BPF filtering * Added enums for post-IP protocols and Ethertypes * Write support added for DAG cards - thanks to Daniel Lawson * Added new trace tool: tracetop. Shows the top N flows each second * Added new trace tool: tracereplay. Attempts to replay trace files in trace time * Added new trace tool: tracediff. Displays packets that differ between two trace files * Added trace_get_timespec() function * If the format is not specified as part of the URI, libtrace can now attempt to guess the trace format * Libpacketdump can now decode CHDLC and PPP/HDLC headers * Added all the code examples from the libtrace tutorial to the examples directory Bug Fixes: * Fixed bug where packets read from a DAG card that did not match the filter were causing lengthy sleep events under the event API * Fixed various tools that were not reporting the occurrence of a read error * Fixed segfault caused by malformed URIs * Fixed bug where reading a zero-length payload from a PCAP trace would result in an EOF being incorrectly reported * Fixed bug where filtered packet count was not initialised to zero * trace_get_payload_from_ip() now returns NULL when the IP version is incorrect rather than asserting * Fixed segfault when writing packets to a Linux native socket, caused by byte ordering issue * Fixed bug where custom pcap event function was not being used * Fixed misplaced assertion in the pcap file reading code * Fixed bug where trace_event would never get a packet event under recent versions of libpcap * Fixed assertion failure when an unknown linktype is encountered by libpacketdump * Fixed error caused by LCP packets that are common in some trace sets, e.g. Leipzig * Increased size of RT packet buffer to fix problems caused by jumbograms * Fixed errors caused by 32- and 64-bit incompatibility when sending Linux Native packets using the RT protocol * trace_get_*_port() functions now always return 0 for ICMP packets * Fixed problems with decoding HDLC and CHDLC headers * Fixed segfault when reading PCAP packets that had no packet content * Fixed bug where PCAP packets would be written with a larger capture length than the wire length * Fixed segfault in the TCP segment report in tracereport caused by segments larger than 1500 bytes * Fixed bug with restarting a PCAP trace file * Fixed bugs relating to the size of the TSH packet records * Fixed bug where we were not accounting for the FCS in legacy Ethernet captures * Fixed bug where libpacketdump could not decode Linux SLL properly due to using an "undefined" function * Fixed bug where libpacketdump was not skipping IP options before attempting to decode the next header * Fixed bug where padding was being treated as part of a truncated header * Fixed assertion when converting a packet with a corrupt wire length to PCAP * More fixes for missing #includes Improvements: * trace_get_source_address() and trace_get_destination_address() now return link layer addresses in the absence of an IP header wherever possible * trace_get_<protocol> short-cut functions now return NULL if the entire header (minus options) is not present in the packet * Added missing set_capture_length() functionality for Linux Native * traceanon can now write compressed traces * traceanon now replaces checksums with zeroes * traceanon, tracesplit and tracemerge now support all libtrace compression types for output * tracereport no longer does the flow report by default * Added support for new ERF types * Added linktype for Experimental Ethernet * Added --count option to tracereport * Added --merge-inputs option to tracertstats * Added support for ARPHRD_NONE * Added a libpacketdump decoder for ubiquity headers * Improved libpacketdump's method of searching for decoders * More efficient arrangement of internal structures * Tidied up exported symbols * General code maintenance * Tidied up manpages * Improved documentation
2010-10-23Note update of ruby-gnome2 and related modules to 0.90.3.obache1-1/+29
2010-10-23note update of net/filezillazafer1-1/+2
2010-10-23Update filezilla to 3.3.4.1zafer2-7/+7
Changelog: * Set a minimum size for column widths in directory lists and transfer queue * Fix build-time check for system TinyXML * Correctly handle symbolic links pointing to files in search dialog * Fix crash in options initialization
2010-10-23Update ruby-gnome2 to 0.90.3.obache33-44/+117
= NEWS == Ruby-GNOME2 0.90.3: 2010-10-23 NOTE: 0.90.x releases are for 1.0.0 major release. * Support String encoding in Ruby 1.9. * RVAL2CSTR2 and CSTR2RVAL2 are deprecated. * Ruby/GIO2 is imported as an experimental library. === Changes ==== All * Support String encoding. [Guillaume Cottenceau, Neil Roberts, Kouhei Sutou] * Don't install *.pc by default. Set pkgconfigdir make varialbe like 'make pkgconfigdir=/usr/lib/pkgconfig'. ==== Ruby/GLib2 * Improvements: * declare argument types. [Nobuyoshi Nakada, Kouhei Sutou] ==== Ruby/GIO2 * Imported as an experimental library. [Nikolai Weibull] ==== Ruby/GTK2 * Improvements: * keep backward compatibility around GDK key symbols introduced at GTK+ 2.20. "[ruby-gnome2-devel-en] Constants names change in Gdk::KeyVal" [Vincent Carmona] * move gdk-pixbuf and cairo related methods from Ruby/GdkPixbuf2. "[ruby-gnome2-devel-en] gtk2 dependency to gdkpixbuf2" [Andrea Dallera, Kouhei Sutou] * Bug fixes: * fix GType conversion in Gtk::ItemFactory.new on 64bit platform. [Grant McLean, Steve Wills, Kouhei Sutou] ==== Ruby/GdkPixbuf2 * Improvements: * move gdk-pixbuf and cairo related methods to Ruby/GTK2. "[ruby-gnome2-devel-en] gtk2 dependency to gdkpixbuf2" [Andrea Dallera, Kouhei Sutou] * change .pc filename from ruby-gdkpixbuf2 to ruby-gdk-pixbuf2. ==== Ruby/RSVG2 * Bug fixes: * add missing libcroco dependency on Windows. [U.Nakamura, Kouhei Sutou] ==== Ruby/Poppler * Improvements: * support Popper 0.15.0. [#3079667] [Mamoru Tasaka, Kouhei Sutou] * Bug fixes: * add missing libjpeg dependency on Windows. [U.Nakamura, Kouhei Sutou] * fix installed Ruby/GLib2 gem can't be detected. [kdmsnr, Kouhei Sutou] === Thanks * U.Nakamura * kdmsnr * Mamoru Tasaka * Guillaume Cottenceau * Vincent Carmona * Grant McLean * Steve Wills * Andrea Dallera * Nobuyoshi Nakada * Neil Roberts == Ruby-GNOME2 0.90.2: 2010-09-26 NOTE: 0.90.x releases are for 1.0.0 major release. A RubyGems package fix release. === Changes ==== All * fix path. [kimura wataru, Kouhei Sutou] ==== Ruby/GTK2 * Bug fixes: * fix gtk2/base.rb is missing in gem. [S.Kitagawa, Kouhei Sutou] ==== Ruby/GIO2 * Bug fixes: * fix a typo in .pc name. [#3075619] [O01eg, Kouhei Sutou] ==== Ruby/RSVG2 * Bug fixes: * also check rb_cairo.h availability. [#3075617] [O01eg, Kouhei Sutou] === Thanks * S.Kitagawa * O01eg * kimura wataru
2010-10-23+ TeXmacs-1.0.7.7, bitlbee-3.0, gst-plugins0.10-base-0.10.30.2,wiz1-18/+10
gstreamer0.10-0.10.30.2, monotone-0.48.1, podofo-0.8.3, py-qt4-4.8, py-sip-4.11.2, xterm-265.
2010-10-23Updated lang/sun-jre6 to 6.0.22nb1obache1-1/+2
2010-10-23Remove a file from PLIST, it will be regenerated in POST-INSTALL.obache2-3/+3
Bump PKGREVISION.
2010-10-23Updte ruby-pkg-config to 1.0.7.obache2-7/+7
== 1.0.7 - 2010/09/30 * suppress warnings on Ruby 1.9.
2010-10-22reset PKGREV for base pkg updatedrochner2-4/+2
2010-10-22update to 2.24.4drochner4-41/+30
changes: -Fix for non-writable home directory -Fix a crash on Solaris -translation updates
2010-10-22update to 2.30.4drochner3-8/+8
changes: -Add mallard snippets -translation updates
2010-10-22update to 2.30.4drochner3-8/+8
changes: -minor fixes -documentation updates
2010-10-22update to 2.30.2drochner3-9/+8
changes: translation updates
2010-10-22update to 2.4.20drochner2-6/+6
changges: minor fixes and cleanup
2010-10-22update to 2.14.19drochner3-11/+11
change: fix free on error of uninitialized IOR components
2010-10-22update to 0.6.5drochner3-8/+10
changes: -fixes for gobject-introspection (not in pkgsrc yet) -Fixed a few small leaks
2010-10-22update to 2.18.6drochner3-8/+14
changes: translation updates
2010-10-22update to 2.18.8drochner3-8/+15
changes: translation updates
2010-10-22update to 2.30.3drochner3-8/+8
changes: -Update for tzdata 2010k -translation updates
2010-10-22update to 2.24.4drochner6-29/+30
changes: translation updates
2010-10-22update to 2.20.11drochner2-7/+6
changes: -Switch buttons "Make Default" and "Just For This Session" for better usability -minor fixes
2010-10-22update to 2.30.2drochner3-8/+8
changes: -Add session service activation file -Don't crash on systems that don't support XF86VM or XRANDR gamma fad -build fixes -translation updates
2010-10-22update to 2.20.2drochner3-8/+9
changes: -minor fixes -translation updates
2010-10-22update to 2.10.5drochner2-7/+6
changes: translation updates
2010-10-22update to 1.6.5drochner3-8/+10
changes: -cleanup -translation updates
2010-10-22update to 1.0.6drochner3-20/+6
This seems to fix the security problem with '\0' in domain names which was also present in openssl and nss. (CVE-2010-1192) (The bundled changelog does only beat around the bush.)
2010-10-22make this build with newer NetBSD (where fmin()/fmax() is supported):drochner3-11/+15
get static inline replacements out of the namespace
2010-10-22update to 2.4.3drochner2-6/+6
changes: A rendering regression of S-shaped cubic arcs (introduced in version 2.4.0) has been fixed. Besides that, a bunch of fixes have been applied to improve handling of broken fonts.
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-18 16:52:49 +0000