index
:
packages/uppaal.git
master
Environment for modeling, simulation and verification of real-time systems
PLD Gitolite User
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
uppaal.spec
2252
log
plain