ports/59406: [NEW PORT] smv model checker

Pav Lucistnik pav at FreeBSD.org
Tue Nov 18 19:06:30 UTC 2003

Previous message: ports/59406: [NEW PORT] smv model checker
Next message: ports/59407: New port: astro/gdesklets-goodweather, A desklet that displays current weather condition and forecast.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Synopsis: [NEW PORT] smv model checker

State-Changed-From-To: open->closed
State-Changed-By: pav
State-Changed-When: Tue Nov 18 11:06:03 PST 2003
State-Changed-Why: 
Working shar is in ports/59429.

http://www.freebsd.org/cgi/query-pr.cgi?pr=59406

Previous message: ports/59406: [NEW PORT] smv model checker
Next message: ports/59407: New port: astro/gdesklets-goodweather, A desklet that displays current weather condition and forecast.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list