debian-wnpp Feb 2008 by thread
[
previous month
]
[
first page
]
[
previous page
]
Page 4 of 4
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Bug#468528: ITP: octave-struct -- Additional Structure manipulations functions
Rafael Laboissiere
Bug#468557: ITP: ergo -- Automatic theorem prover dedicated to program verification
Mehdi Dogguy
Bug#468557: ITP: ergo -- Automatic theorem prover dedicated to program verification
Florian Weimer
Bug#468557: ITP: ergo -- Automatic theorem prover dedicated to program verification
Mehdi Dogguy
Bug#468496: ITP: octave-combinatorics -- Combinatorics functions, incuding partitioning
Rafael Laboissiere
Processed: retitle 451797 to ITP: jocaml -- OCaml extended for concurrent and distributed programming
Debian Bug Tracking System
Processed: owner 451797
Debian Bug Tracking System
Processed: retitle 451797 to ITP: jocaml -- OCaml extended for concurrent and distributed programming --cc-addr=debian-ocaml-maint@lists.debian.org
Debian Bug Tracking System
Bug#468574: RFP: apolicy -- ACL Policy Daemon for Postfix
Joachim Reichel
Bug#468638: ITP: libdbd-mock-perl -- Mock database driver for testing
Jaldhar H. Vyas
Bug#468640: O: hg-buildpackage -- Suite to help with Debian packages in Mercurial archives
John Goerzen
Bug#468640: hg-buildpackage
John Goerzen
Bug#468651: ITP: libsub-wrappackage-perl -- add wrappers around subroutines in packages.
Jaldhar H. Vyas
Bug#468652: ITP: python-turbotinymce -- A TurboGears widget to use tinyMCE
Monty Taylor
The last update was on 11:24 GMT Fri Jun 07. There are 1514 messages. Page 4 of 4.
[
previous month
]
[
first page
]
[
previous page
]
Page 4 of 4
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc