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