Processed: RFP: beluga -- Functional programming language designed for formal reasoning
Processing commands for control@bugs.debian.org:
> noowner 795246
Bug #795246 [wnpp] RFP: beluga -- Functional programming language designed for formal reasoning
Removed annotation that Bug was owned by Kristoffer H Rose <krisrose@debian.org>.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
795246: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=795246
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: