Package: proofgeneral

Scenario: unstable_main
Date: 2025-12-29 05:00:01

Architectures: loong64

Summary: unsatisfied dependency on emacs-gtk (>= 1:30.1) | emacs-pgtk (>= 1:30.1) | emacs-lucid (>= 1:30.1) | emacs-nox (>= 1:30.1)

proofgeneral (4.5-3) [PTS] [ctrl]
   ↓ emacs
emacs (1:30.2+1-2) [PTS] [ctrl]
   ↓ emacs-gtk (>= 1:30.1) | emacs-pgtk (>= 1:30.1) | emacs-lucid (>= 1:30.1) | emacs-nox (>= 1:30.1)
MISSING