[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: Re: Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal



Processing control commands:

> tags -1 confirmed
Bug #1100416 [release.debian.org] transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
Added tag(s) confirmed.

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


Reply to: