Processed: Re: Bug#865526: PETSc has strict dependency on MPI version

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reopen 865526
Bug #865526 {Done: Gianfranco Costamagna <locutusofborg at debian.org>} [libpetsc3.7.5-dev] libpetsc3.7.5-dev: uninstallable on current sid
Bug reopened
Ignoring request to alter fixed versions of bug #865526 to the same values previously set
> retitle 865526 PETSc has strict dependency on MPI version
Bug #865526 [libpetsc3.7.5-dev] libpetsc3.7.5-dev: uninstallable on current sid
Changed Bug title to 'PETSc has strict dependency on MPI version' from 'libpetsc3.7.5-dev: uninstallable on current sid'.
> severity 865526 normal
Bug #865526 [libpetsc3.7.5-dev] PETSc has strict dependency on MPI version
Severity set to 'normal' from 'grave'
> forwarded 865526 https://bitbucket.org/petsc/petsc/commits/ca70f86ee9db8e69523e0e69f12289c6cab9b4cb?at=jed/mpi-semver
Bug #865526 [libpetsc3.7.5-dev] PETSc has strict dependency on MPI version
Set Bug forwarded-to-address to 'https://bitbucket.org/petsc/petsc/commits/ca70f86ee9db8e69523e0e69f12289c6cab9b4cb?at=jed/mpi-semver'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
865526: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865526
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems