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 dev-haskell/dec:
Description: Decidable propositions
Homepage: https://github.com/phadej/dec
available versions:
releases | alpha | amd64 | arm | hppa | ia64 | mips | ppc | ppc64 | ppc macos | s390 | sh | sparc | x86 | USE-Flags | dependencies | ebuild warnings |
dec-0.0.5 |
- | ~ | - | - | - | - | - | ~ | - | - | - | - | ~ | none | show | show | dec-0.0.3 |
- | ~ | - | - | - | - | - | ~ | - | - | - | - | ~ |
| 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 |
---|
366533 | Ebuilds | xake | UNCONFIRMED | USE_EXPAND for codec USE flags - MEDIA_ENCODE and MEDIA_DECODE | 2011-06-10 16:30:20 |
371322 | Eclasses and Profiles | ada | UNCONFIRMED | dev-lang/gnat-gcc-4.3.2 - work/gcc-4.3.2/libgcc/../gcc/unwind-pe.h:136: error: expected declaration | 2012-03-19 19:22:36 |
392379 | Applications | vmware | UNCONFIRMED | app-emulation/vmware-modules-238.5: vmmon-only/linux/hostif.c:2749:4: error: implicit declaration of | 2012-03-26 11:36:37 |
394375 | Ebuilds | maintainer-wanted | UNCONFIRMED | dev-vcs/rhodecode - Mercurial repository browser/management with build in push/pull server and full | 2013-01-29 16:31:11 |
396583 | Applications | gstreamer | UNCONFIRMED | media-plugins/gst-plugins-ffmpeg-0.10.13-r1 - libavcodec/x86/h264_deblock_10bit.asm:421: error: inva | 2012-02-29 20:47:12 |
398399 | Applications | vim | UNCONFIRMED | app-editors/vim-7.3.393 - if_perl.c:1102:1: error: static declaration of 'XS_VIM_Msg' follows non-st | 2012-09-29 14:38:20 |
402763 | Ebuilds | gstreamer | UNCONFIRMED | media-plugins/gst-plugins-ffmpeg-0.10.13-r1 - libavcodec/arm/dsputil_vfp.S:45: Error: selected proce | 2012-02-09 01:08:01 |
403965 | Ebuilds | aballier | UNCONFIRMED | media-sound/decibel-audio-player-1.09 version bump | 2012-02-17 04:54:23 |
406935 | Ebuilds | maintainer-wanted | UNCONFIRMED | media-libs/silly-0.1.0 - Silly image codec (Simple Image Loading LibrarY) | 2012-03-05 20:40:08 |
410333 | Applications | sound | UNCONFIRMED | media-sound/milkytracker-0.90.85 - In member function ‘virtual bool DecompressorGZIP::decompress(con | 2013-01-30 18:31:25 |
423031 | Games | games | UNCONFIRMED | games-puzzle/mindless-1.6 crash in generating sealed deck | 2012-08-27 12:45:23 |
427004 | Applications | media-video | UNCONFIRMED | media-video/ffmpeg-0.10.3 ABI=x32 - libavfilter/libmpcodecs/vf_ilpack.c:116: Error: operand type mis | 2012-09-25 03:49:30 |
428746 | Applications | cardoe | UNCONFIRMED | net-misc/netcf-0.1.9 - drv_initscripts.c:1083:15: error: ‘NETCF_TRANSACTION’ undeclared (first use i | 2012-08-01 04:17:19 |
431066 | Unspecified | sound | UNCONFIRMED | media-libs/libvisual - error: 'sigill_handler_sse' undeclared (first use in this function) | 2012-11-05 15:00:00 |
432884 | Ebuilds | polynomial-c | UNCONFIRMED | app-emulation/virtualbox-modules: undeclared 'VM_RESERVED' | 2013-01-24 15:45:20 |
432908 | Applications | blueness | UNCONFIRMED | app-admin/webapp-config-1.50.19: Allow precise declaration of server uid/gid in the configuration fi | 2012-09-30 16:18:23 |
433217 | Applications | x11 | UNCONFIRMED | x11-drivers/xf86-video-qxl-0.0.17-r1: scrnIndex var is undeclared. | 2012-09-02 19:34:46 |
434240 | Development | maintainer-needed | UNCONFIRMED | dev-util/bam-0.4.0 with dev-lang/lua-5.2.1: src/context.c:34:18: error: ‘LUA_GLOBALSINDEX’ undeclare | 2012-09-16 10:46:57 |
435338 | Applications | tex | UNCONFIRMED | dev-tex/chktex-1.7.0 - .../work/chktex-1.7.0/FindErrs.c:320: warning: implicit declaration of functi | 2012-09-18 13:41:50 |
439226 | Library | php-bugs | UNCONFIRMED | dev-php/phpunit-3.5* should RDEPEND on 2012-10-22 08:47:33 | |
444892 | Hardened | hardened-kernel | UNCONFIRMED | Network failure with >sys-kernel/hardened-sources-3.4.5 tulip driver (DECchip 21140) | 2013-01-24 14:11:59 |
449296 | KDE | kde | UNCONFIRMED | net-im/ktp-call-ui-0.5.1: gsttaglist.h:152:28: error: conflicting declaration ‘typedef struct _GstTa | 2013-01-18 10:50:15 |
450714 | Core system | toolchain | UNCONFIRMED | sys-libs/glibc-2.16.0: /usr/include/bits/stdlib-ldbl.h:35:1: error: 'qecvt' undeclared here (not in | 2013-01-20 01:23:38 |
451316 | Applications | cedk | UNCONFIRMED | net-firewall/conntrack-tools-0.9.14 - parse.c:230:34: error: ‘NULL’ undeclared (first use in this fu | 2013-01-11 16:17:24 |
453348 | Ebuilds | maintainer-wanted | UNCONFIRMED | dev-ada/zlib-ada-1.3 - a thick [Ada] binding to the popular compression/decompression library ZLib | 2013-02-18 20:21:56 |
453410 | Development | php-bugs | UNCONFIRMED | dev-php/PHP_CodeCoverage-1.2.7 - Version Bump | 2013-02-19 14:37:27 |
453584 | Ebuilds | tove | UNCONFIRMED | app-shells/zsh - prompt_gentoo_setup: replace globally declared variables with local variables | 2013-01-24 09:42:42 |
458338 | Development | cpp | UNCONFIRMED | dev-libs/boost-1.49.0-r2 with sys-libs/uclibc - In file included from libs/locale/src/posix/codecvt. | 2013-02-21 02:53:30 |
back
|