Processing commands for cont...@bugs.debian.org:
> limit source opam
Limiting to bugs with field 'source' containing at least one of 'opam'
Limit currently set to 'source':'opam'
> tags 910222 + pending
Bug #910222 [opam] opam: copyright file missing after upgrade (policy 12.5)
Added tag(s) pendi
Processing commands for cont...@bugs.debian.org:
> reopen 911159
Bug #911159 {Done: Ralf Treinen } [src:frama-c] please stop
building the frama-c GUI
Bug reopened
Ignoring request to alter fixed versions of bug #911159 to the same values
previously set
> thanks
Stopping processing here.
Please
reopen 911159
thanks
Le 17/10/2018 à 21:11, Ralf Treinen a écrit :
>> Bug #885677 filed for lablgtk2 asks for the removal of that package. To
>> prevent
>> removing frama-c from the distro, please consider just building the base
>> package, dropping the GUI package. Asking because creduce woul
3 matches
Mail list logo