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

Processed: libcoq-paramcoq no longer depends on libcoq-stdlib-*



Processing control commands:

> affects -1 src:coqeal
Bug #1041869 [libcoq-paramcoq] libcoq-paramcoq no longer depends on libcoq-stdlib-*
Added indication that 1041869 affects src:coqeal

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


Reply to: