Processing commands for control@bugs.debian.org: > close 991801 Bug #991801 [wnpp] ITP: elan -- tool for managing installations of the Lean theorem prover Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 991801: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991801 Debian Bug Tracking System Contact owner@bugs.debian.org with problems