81073a

Package: xul-ext-stylish
Description-md5: 506aca74d77eb25b944dfffde2eea716
Description-ja: テーマやスキンでウェブサイトをカスタマイズするスタイルマネージャ
 ユーザスタイルはウェブサイト用のテーマです。ユーザスタイルによってウェブサ
 イトをカスタマイズすると新たなブラウズ経験を得られます。
 役に立たない内容の排除や色の変更、サイト全体を完全に設計し直すこともできます。
 ユーザスタイルを Firefox や Thunderbird、SeaMonkey 自体のインターフェイスの
 テーマとして使うこともできます。
 .
 Stylish を使うとユーザスタイルを簡単に管理できます。追加、削除、有効化、無
 効化、そしてマウスクリック数回で整理するのにコードを編集する必要はなく、隠
 れた設定を探す必要もありません。
 Stylish の関連ウェブサイト userstyles.org には他の Stylish ユーザにより作成
 された数万のユーザスタイルが置かれ、試せるようになっています。
 .
 技術系の人はこう考えるといいでしょう: Greasemonkey と userscripts.org が
 JavaScript を扱うように、Stylish と userstyles.org は CSS を扱います。
.
53549,53590d
51615,51665d
40115,40126d
38934a
Package: libib-util
Description-md5: 8c5d2e24107b9fdfd9da3561630f2e97
Description-ja: Firebird UDF サポートライブラリ
 Firebird は、ANSI SQL-99 の多くの機能を提供するリレーショナルデータベースで
 あり、Linux, Windows や各種 Unix プラットフォームで動作します。Firebird
 は、優れた並行性、高性能、そしてストアドプロシージャやトリガのための強力な
 言語サポートを提供します。1981 年以来、様々な名前の生産システムで利用されて
 きました。
 .
 libib_util には、メモリ管理などのためのユーザー定義関数 (UDF) から使える、
 ユーティリティ関数が含まれます。

.
30643a
Package: lbt
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Description-ja: LTL 論理式から Büchi オートマトンに変換
 このソフトウェアは、線形時相論理 (ltl) 論理式を
 汎用の Büchi オートマトンに変換します。出力されるオートマトンは、
 例えば、モデルの検査に利用できるかもしれません。そのモデル検査では、
 オートマトンはモデル (例: ペトリネット) から検証されるプロパティ
 を表します。

.
10992a
Package: edict
Description-md5: 5ff629d66bbe71a6690890bdd67a8cd1
Description-ja: 和英辞書
 EDICT ファイルは自由に使える機械可読な形式の和英辞書を作る有志のプロジェクト
 の成果です。
 本パッケージはコンピュータ・通信関連の辞書ファイル compdic も含んでいます。

.
