Processed: Re: libhdf5-mpi-dev: provide default mpi alternatives (hdf5-mpi.pc)

Debian Bug Tracking System owner at bugs.debian.org
Tue Mar 3 11:51:04 GMT 2020


Processing control commands:

> retitle -1 libhdf5-mpi-dev: provide links to default mpi (hdf5-mpi.pc)
Bug #953021 [libhdf5-mpi-dev] libhdf5-mpi-dev: provide default mpi alternatives (hdf5-mpi.pc)
Changed Bug title to 'libhdf5-mpi-dev: provide links to default mpi (hdf5-mpi.pc)' from 'libhdf5-mpi-dev: provide default mpi alternatives (hdf5-mpi.pc)'.

-- 
953021: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=953021
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-grass-devel mailing list