- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/mcrl2
Members of
git-ubuntu import
can upload to this repository.
Log in for directions.
Branches
| Name | Last Modified | Last Commit |
|---|---|---|
|
ubuntu/ |
2010-05-19 20:44:08 UTC |
201001+svn7611-1 (patches unapplied)
Author:
Paul van Tilburg
201001+svn7611-1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2010-05-19 20:44:08 UTC |
201001+svn7611-1 (patches applied)
Author:
Paul van Tilburg
201001+svn7611-1 (patches applied) Imported using git-ubuntu import. |
| 101 → 102 of 102 results | First • Previous • Next • Last |
Other repositories
| Name | Last Modified |
|---|---|
| lp:ubuntu/+source/mcrl2 | 2022-09-27 |
| 1 → 1 of 1 result | First • Previous • Next • Last |
