Diffusion FreeBSD ports repository rP476381

New port: math/spot: Library for omega automata manipulation and model checking
rP476381
Actions

Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Mute Notifications
Flag For Later
Award Token

Description

New port: math/spot: Library for omega automata manipulation and model checking

Details

Provenance

yuri	Authored on

Parents

rP476380: Update MASTER_SITES

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP476381: New port: math/spot: Library for omega automata manipulation and model checking.Aug 4 2018, 11:30 PM

Changes (6)

Path

Size

head/

math/

rP476381

View Options

head/math/Makefile

View Options

head/math/spot/

View Options

head/math/spot/Makefile

View Options

head/math/spot/distinfo

View Options

head/math/spot/pkg-descr

View Options

New port: math/spot: Library for omega automata manipulation and model checkingrP476381Actions

Description

Details

Event Timeline

Changes (6)

rP476381

head/math/Makefile

head/math/spot/

head/math/spot/Makefile

head/math/spot/distinfo

head/math/spot/pkg-descr

head/math/spot/pkg-plist

New port: math/spot: Library for omega automata manipulation and model checking
rP476381
Actions