Ubuntu
mcrl2 package

View Bazaar branches
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.

See all merge proposals.

Branches

Name Last Modified Last Commit
importer/ubuntu/dsc 2022-09-27 23:53:40 UTC
DSC file for 201409.0-1ubuntu3

Author: Ubuntu Git Importer
Author Date: 2022-09-27 23:53:40 UTC

DSC file for 201409.0-1ubuntu3
importer/ubuntu/pristine-tar 2022-09-27 23:53:01 UTC
pristine-tar data for mcrl2_201409.0.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-27 23:53:01 UTC

pristine-tar data for mcrl2_201409.0.orig.tar.gz
importer/debian/pristine-tar 2022-09-27 23:51:34 UTC
pristine-tar data for mcrl2_201409.0.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-27 23:51:34 UTC

pristine-tar data for mcrl2_201409.0.orig.tar.gz
importer/debian/dsc 2022-09-27 23:50:22 UTC
DSC file for 201409.0-1

Author: Ubuntu Git Importer
Author Date: 2022-09-27 23:50:22 UTC

DSC file for 201409.0-1
ubuntu/eoan-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/bionic 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/bionic-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/bionic-proposed 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/disco 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/disco-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches applied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches applied)

Imported using git-ubuntu import.
ubuntu/bionic 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/cosmic 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic-proposed 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/cosmic-devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/devel 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco 2017-11-11 06:28:18 UTC
201409.0-1ubuntu3 (patches unapplied)

Author: Steve Langasek
Author Date: 2017-11-11 06:27:49 UTC

201409.0-1ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/artful 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful-devel 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
ubuntu/artful-devel 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/artful 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/yakkety-proposed 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/yakkety-devel 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/yakkety 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-proposed 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-devel 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
ubuntu/zesty-devel 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty 2016-05-31 10:42:17 UTC
201409.0-1ubuntu2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2016-05-31 10:37:01 UTC

201409.0-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/vivid-devel 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches applied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/vivid-proposed 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches applied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches applied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily-devel 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches applied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches applied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial-devel 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches applied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/xenial-devel 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches unapplied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/vivid 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches unapplied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/vivid-devel 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches unapplied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/vivid-proposed 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches unapplied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/wily 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches unapplied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/wily-devel 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches unapplied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/xenial 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches unapplied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/vivid 2015-01-12 00:48:11 UTC
201409.0-1ubuntu1 (patches applied)

Author: Artur Rona
Author Date: 2015-01-10 13:57:11 UTC

201409.0-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/debian/buster 2014-09-07 16:21:41 UTC
201409.0-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/jessie 2014-09-07 16:21:41 UTC
201409.0-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/sid 2014-09-07 16:21:41 UTC
201409.0-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/stretch 2014-09-07 16:21:41 UTC
201409.0-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches applied)

Imported using git-ubuntu import.
debian/buster 2014-09-07 16:21:41 UTC
201409.0-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches unapplied)

Imported using git-ubuntu import.
debian/jessie 2014-09-07 16:21:41 UTC
201409.0-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches unapplied)

Imported using git-ubuntu import.
debian/sid 2014-09-07 16:21:41 UTC
201409.0-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches unapplied)

Imported using git-ubuntu import.
debian/stretch 2014-09-07 16:21:41 UTC
201409.0-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2014-09-06 21:34:26 UTC

201409.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/raring 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/utopic-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/utopic 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/trusty-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/trusty 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/saucy-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/saucy 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/raring-proposed 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/raring-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches applied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/raring 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/raring-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/raring-proposed 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/saucy 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/saucy-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/trusty 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/trusty-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/utopic 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/utopic-devel 2012-11-05 13:20:09 UTC
201210.1-1ubuntu1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-11-05 12:50:03 UTC

201210.1-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/quantal-devel 2012-02-25 03:27:31 UTC
201202.0-2 (patches applied)

Author: Paul van Tilburg
Author Date: 2012-02-24 15:16:02 UTC

201202.0-2 (patches applied)

Imported using git-ubuntu import.
applied/debian/wheezy 2012-02-25 03:27:31 UTC
201202.0-2 (patches applied)

Author: Paul van Tilburg
Author Date: 2012-02-24 15:16:02 UTC

201202.0-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/quantal-devel 2012-02-25 03:27:31 UTC
201202.0-2 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2012-02-24 15:16:02 UTC

201202.0-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/quantal 2012-02-25 03:27:31 UTC
201202.0-2 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2012-02-24 15:16:02 UTC

201202.0-2 (patches unapplied)

Imported using git-ubuntu import.
debian/wheezy 2012-02-25 03:27:31 UTC
201202.0-2 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2012-02-24 15:16:02 UTC

201202.0-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/quantal 2012-02-25 03:27:31 UTC
201202.0-2 (patches applied)

Author: Paul van Tilburg
Author Date: 2012-02-24 15:16:02 UTC

201202.0-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/precise-devel 2011-12-20 21:26:06 UTC
201107.1-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2011-10-20 13:28:23 UTC

201107.1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/precise 2011-12-20 21:26:06 UTC
201107.1-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2011-10-20 13:28:23 UTC

201107.1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/precise-devel 2011-12-20 21:26:06 UTC
201107.1-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2011-10-20 13:28:23 UTC

201107.1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/precise 2011-12-20 21:26:06 UTC
201107.1-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2011-10-20 13:28:23 UTC

201107.1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel 2011-07-19 15:22:30 UTC
201107-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2011-07-18 14:03:38 UTC

201107-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/oneiric 2011-07-19 15:22:30 UTC
201107-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2011-07-18 14:03:38 UTC

201107-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric 2011-07-19 15:22:30 UTC
201107-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2011-07-18 14:03:38 UTC

201107-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/oneiric-devel 2011-07-19 15:22:30 UTC
201107-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2011-07-18 14:03:38 UTC

201107-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/squeeze 2010-08-04 08:20:58 UTC
201007~rc1-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2010-08-03 10:49:57 UTC

201007~rc1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/natty-devel 2010-08-04 08:20:58 UTC
201007~rc1-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2010-08-03 10:49:57 UTC

201007~rc1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/natty 2010-08-04 08:20:58 UTC
201007~rc1-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2010-08-03 10:49:57 UTC

201007~rc1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/natty 2010-08-04 08:20:58 UTC
201007~rc1-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2010-08-03 10:49:57 UTC

201007~rc1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/natty-devel 2010-08-04 08:20:58 UTC
201007~rc1-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2010-08-03 10:49:57 UTC

201007~rc1-1 (patches applied)

Imported using git-ubuntu import.
debian/squeeze 2010-08-04 08:20:58 UTC
201007~rc1-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2010-08-03 10:49:57 UTC

201007~rc1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/maverick-devel 2010-05-19 20:44:08 UTC
201001+svn7611-1 (patches applied)

Author: Paul van Tilburg
Author Date: 2010-04-11 15:18:35 UTC

201001+svn7611-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/maverick 2010-05-19 20:44:08 UTC
201001+svn7611-1 (patches unapplied)

Author: Paul van Tilburg
Author Date: 2010-04-11 15:18:35 UTC

201001+svn7611-1 (patches unapplied)

Imported using git-ubuntu import.
1 → 100 of 102 results First • Previous • • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/mcrl2 2022-09-27
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for mcrl2 in Ubuntu.