Processing commands for cont...@bugs.debian.org:
> reopen 865526
Bug #865526 {Done: Gianfranco Costamagna <locutusofb...@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 ow...@bugs.debian.org with problems
