Blog

In this tutorial we learn how to install acl2-books on Ubuntu. acl2-books is Computational Logic for Applicative Common Lisp

In this tutorial we learn how to install acl2 on Ubuntu. acl2 is Computational Logic for Applicative Common Lisp

In this tutorial we learn how to install acl on Ubuntu. acl is access control list - utilities

In this tutorial we learn how to install ack on Ubuntu. ack is grep-like program specifically for large source trees

In this tutorial we learn how to install achilles on Ubuntu. achilles is Artificial life and evolution simulator

In this tutorial we learn how to install acheck-rules on Ubuntu. acheck-rules is Basic rules for acheck

In this tutorial we learn how to install acheck on Ubuntu. acheck is Check common localisation mistakes

In this tutorial we learn how to install acetoneiso on Ubuntu. acetoneiso is feature-rich application to mount and manage CD and DVD images

In this tutorial we learn how to install aces3-data on Ubuntu. aces3-data is Advanced Concepts in Electronic Structure III

In this tutorial we learn how to install aces3 on Ubuntu. aces3 is Advanced Concepts in Electronic Structure III

In this tutorial we learn how to install acedb-other-dotter on Ubuntu. acedb-other-dotter is transitional package for dotter

In this tutorial we learn how to install acedb-other-belvu on Ubuntu. acedb-other-belvu is transitional package for belvu