lp:~cvc3/cvc3-packaging/trunk

Created by Chris Conway and last modified
Get this branch:
bzr branch lp:~cvc3/cvc3-packaging/trunk
Members of CVC3 can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
CVC3
Project:
CVC3 Packaging
Status:
Abandoned

Recent revisions

91. By Chris Conway

Fixing executable permissions; configure script problem

90. By Chris Conway

Fixing Emacs installation bugs

89. By Chris Conway

Symlink bug in Emacs install script

88. By Chris Conway

Fix for cvc3-el problem

87. By Chris Conway

Adding Breaks/Replaces on libcvc3-5-jni for libcvc3-2-jni

86. By Chris Conway

Adding metadata to patch

85. By Chris Conway

Adding patch to disable log dumps in tests

84. By Chris Conway

Re-adding unmodified configure script

83. By Chris Conway

Removing generated files. Changing libcvc3-5-dev to libcvc3-dev

82. By Chris Conway

Fiddling with the .orig tarball

Branch metadata

Branch format:
Branch format 6
Repository format:
Bazaar pack repository format 1 (needs bzr 0.92)
This branch contains Public information 
Everyone can see this information.

Subscribers