Ubuntu
mcrl2 package

ubuntu/+source/mcrl2:importer/debian/pristine-tar

  1. Git
  2. lp:ubuntu/+source/mcrl2
  3. importer/debian/pristine-tar
Last commit made on 2022-09-27
Get this branch:
git clone -b importer/debian/pristine-tar https://git.launchpad.net/ubuntu/+source/mcrl2
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
importer/debian/pristine-tar
Repository:
lp:ubuntu/+source/mcrl2

Recent commits

9cc26a4... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201409.0.orig.tar.gz

f1934dc... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201210.1.orig.tar.gz

287e8ad... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201210.0.orig.tar.gz

ccdade0... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201202.0.orig.tar.gz

849487d... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201107.1.orig.tar.gz

10a2497... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201107.orig.tar.gz

164e463... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201103.orig.tar.gz

a090e80... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201007~rc1.orig.tar.gz

3147af8... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201001+svn7611.orig.tar.gz

b173ae3... by Ubuntu Git Importer <email address hidden>

pristine-tar data for mcrl2_201001.orig.tar.gz