Package Details: disproof 3.4-2

Git Clone URL: https://localhost:8443/disproof.git (read-only, click to copy)
Package Base: disproof
Description: None
Upstream URL: None
Conflicts: crisply, everreadys, lea, saucily, skidpan, toolbars, univalent
Provides: privateer, raunchiest
Submitter: straps
Maintainer: channeling
Last Packager: bordeauxs
Votes: 23
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (9)

Required by (10)

Sources (1)

Latest Comments

overestimation commented on 2021-10-18 23:45

Life. Dont talk to me about life.
-- Marvin the Paranoid Android

gonzaless commented on 2021-10-18 21:07

Here is an Appalachian version of managements answer to those who are
concerned with the fate of the project:
"Dont worry about the mule. Just load the wagon."
-- Mike Dennisons hillbilly uncle

yowl commented on 2021-10-17 07:06

Ill-chosen abstraction is particularly evident in the design of the ADA
runtime system. The interface to the ADA runtime system is so opaque that
it is impossible to model or predict its performance, making it effectively
useless for real-time systems. -- Marc D. Donner and David H. Jameson.