from small one page howto to huge articles all in one place
Last additions: May, 25th 2007: April, 26th 2007: Apr, 10th. 2007: | 
.  You are here: Portage
Details of sci-mathematics/lean:
Description: The Lean Theorem Prover
Homepage: https://leanprover-community.github.io/ https://github.com/leanprover/lean4/
available versions:
releases | alpha | amd64 | arm | hppa | ia64 | mips | ppc | ppc64 | ppc macos | s390 | sh | sparc | x86 | USE-Flags | dependencies | ebuild warnings |
lean-4.14.0-r1 |
- | - | - | - | - | - | - | - | - | - | - | - | - | debug source
| show | show | lean-4.11.0 |
- | - | - | - | - | - | - | - | - | - | - | - | - | debug source
| show | show |
Legend: + stable~ testing- not availablesome ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown. Known bugs:
bug ID | component | assigned to | status | description | last change |
---|
369977 | Java | maintainer-wanted | UNCONFIRMED | New package: dev-java/htmlcleaner | 2011-06-07 21:13:31 |
370785 | Ebuilds | maintainer-wanted | UNCONFIRMED | steadyflow-0.1.7 - a GTK+ based download manager that aims for minimalism, ease of use, and a clean, | 2013-02-06 11:25:50 |
374021 | Tools | tools-portage | UNCONFIRMED | app-portage/gentoolkit-0.3.0.4 - eclean-pkg traceback on unknown file | 2012-12-25 01:55:36 |
386751 | Applications | perl | UNCONFIRMED | dev-lang/perl-5.12.4-r1: 2 files left after upgrade and "perl-cleaner --all" | 2012-07-14 17:16:36 |
392463 | Ebuilds | rox | UNCONFIRMED | rox-extra/roxcd: Deprecation Warning about of python_mod_cleanup() | 2012-09-09 01:16:09 |
402415 | Third-Party Tools | mgorny | UNCONFIRMED | app-portage/flaggie breaks soft link after doing a cleanup | 2012-02-06 17:27:38 |
434192 | Applications | sysadmin | UNCONFIRMED | net-analyzer/nagios-plugins - clean up rblservers in rblcheck-dns | 2012-09-23 02:54:31 |
434722 | Unspecified | hanno | UNCONFIRMED | net-mail/mailman-2.1.14 uses python_mod_cleanup() incorrectly | 2012-09-11 15:14:21 |
435740 | Development | common-lisp | UNCONFIRMED | dev-lisp/asdf-binary-locations - uninstall should clean up /etc/gentoo-init.lisp | 2012-09-21 16:42:43 |
436536 | Applications | polynomial-c | UNCONFIRMED | net-irc/xchat-2.8.8-r2 - patches that apply cleanly and fix several issues | 2012-09-29 15:32:27 |
438816 | Core | dev-portage | UNCONFIRMED | sys-apps/portage-2.1.11.9 : /var/tmp/portage/._unmerge_/ directory not cleaned up | 2012-10-18 17:51:53 |
440380 | Core system | base-system | UNCONFIRMED | sys-boot/lilo: unmerging when /boot isn't mounted cleans /boot | 2012-11-02 08:21:22 |
447118 | Enhancement/Feature Requests | dev-portage | UNCONFIRMED | FEATURES=clean-logs can be dangerous | 2012-12-13 14:54:27 |
449948 | Core system | toolchain | UNCONFIRMED | sys-libs/glibc - inner-net license is of a boolean non-free nature | 2013-01-03 12:47:26 |
450300 | Ebuilds | maintainer-wanted | UNCONFIRMED | x11-misc/menulibre - An advanced menu editor that provides modern features in a clean, easy-to-use i | 2013-01-27 17:35:31 |
453674 | Third-Party Tools | tools-portage | UNCONFIRMED | app-portage/ufed: Shortening/cleaning flag descriptions by eliminating "[Enables/Adds/Includes] Supp | 2013-01-23 13:44:40 |
454492 | Tools | tools-portage | UNCONFIRMED | app-portage/gentoolkit-0.3.0.7 - eclean-dist: UnboundLocalError: local variable 'cleaner' referenced | 2013-01-29 17:40:16 |
454562 | Applications | rox | UNCONFIRMED | rox-extra/archive - deprecation warning about python_mod_cleanup() | 2013-01-29 19:23:09 |
457702 | Applications | mgorny | UNCONFIRMED | eclean-kernel doesn't work w/ grub2 when /boot is FAT | 2013-02-20 20:51:05 |
458284 | Core - Dependencies | dev-portage | UNCONFIRMED | sys-apps/portage-2.1.11.52: 'emerge --depclean' does not remove old gentoo-sources | 2013-02-20 11:35:04 |
back
|