This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
quickCheck :: Testable a => a -> IO () | |
class Testable a where | |
test :: a -> RandSupply -> Bool | |
class Arbitrary a where | |
arby :: RandSupply -> a | |
instance Testable Bool where | |
test b r = b |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
From 4d0868e2f0a6acd8f0cb1625b9012d094d0a9111 Mon Sep 17 00:00:00 2001 | |
From: hasufell <hasufell@gentoo.org> | |
Date: Thu, 29 Jan 2015 03:24:24 +0100 | |
Subject: [PATCH] Clean up configure.ac | |
* use foo_LIBS instead of hacking on LDFLAGS which also solves | |
problems with '--as-needed' linker flag | |
* convert to modern autotools standards | |
* remove some obsolete parts | |
--- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Copyright 1999-2014 Gentoo Foundation | |
# Distributed under the terms of the GNU General Public License v2 | |
# $Header: /var/cvsroot/gentoo-x86/app-misc/ca-certificates/ca-certificates-20140927.3.17.2.ebuild,v 1.1 2014/10/16 17:48:39 vapier Exp $ | |
# The Debian ca-certificates package merely takes the CA database as it exists | |
# in the nss package and repackages it for use by openssl. | |
# | |
# The issue with using the compiled debs directly is two fold: | |
# - they do not update frequently enough for us to rely on them | |
# - they pull the CA database from nss tip of tree rather than the release |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Grammar where | |
data Expr a = Plus (Expr a) (Term a) | |
| Minus (Expr a) (Term a) | |
| ExprTerm (Term a) | |
data Term a = Mult (Term a) (Factor a) | |
| Div (Term a) (Factor a) | |
| TermFactor (Factor a) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- |This module provides 'findBugsInCommitMsg' to find | |
-- valid gentoo bug references in a commit message, | |
-- see <https://wiki.gentoo.org/wiki/Gentoo_git_workflow>. | |
module ParseBugs ( | |
findBugsInCommitMsg | |
) where | |
import Control.Applicative ((<|>), (<$>), (<*>)) | |
import Data.Attoparsec.Text ( | |
Parser |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
# | |
# Copyright (c) 2015, Julian Ospald <hasufell@posteo.de> | |
# All rights reserved. | |
# | |
# Redistribution and use in source and binary forms, with or without | |
# modification, are permitted provided that the following conditions are met: | |
# * Redistributions of source code must retain the above copyright | |
# notice, this list of conditions and the following disclaimer. | |
# * Redistributions in binary form must reproduce the above copyright |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
cave-resolve() { | |
cave resolve --resume-file ~/cave_resume "$@" | |
local ret=$? | |
if [[ $ret == 0 ]] ; then | |
while true; do | |
echo -e '\n' | |
read -p "Do you wish to carry out these steps? [Y/n] " yn | |
case $yn in | |
[Yy]* ) cave resume --resume-file ~/cave_resume ; break;; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
openra | |
Platform is Linux | |
Using Gl renderer | |
Desktop resolution: 1920x1200 | |
No custom resolution provided, using desktop resolution | |
Using resolution: 1920x1200 | |
Available mods: | |
cnc: C&C ({DEV_VERSION}) | |
ra: Red Alert ({DEV_VERSION}) | |
Loading mods: ra |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
>>> Emerging (1 of 1) x11-misc/spacefm-9999 from hasufell-overlay | |
>>> Unpacking source... | |
GIT update --> | |
repository: git://github.com/IgnorantGuru/spacefm.git | |
at the commit: 049e1f5d4982e0853a6aeac8130a6e6b62d2a415 | |
branch: master | |
storage directory: "/usr/portage/distfiles/egit-src/spacefm.git" | |
checkout type: bare repository | |
Cloning into /var/tmp/portage/x11-misc/spacefm-9999/work/spacefm-9999... | |
done. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[32;01m * [39;49;00mPackage: media-libs/devil-1.7.8-r1 | |
[32;01m * [39;49;00mRepository: hasufell-overlay | |
[32;01m * [39;49;00mMaintainer: games@gentoo.org | |
[32;01m * [39;49;00mUSE: X amd64 elibc_glibc gif glut jpeg kernel_linux mng multilib nvtt opengl png sdl sse sse2 tiff userland_GNU | |
[32;01m * [39;49;00mFEATURES: sandbox | |
>>> Unpacking source... | |
>>> Unpacking DevIL-1.7.8.tar.gz to /var/tmp/portage/media-libs/devil-1.7.8-r1/work | |
>>> Source unpacked in /var/tmp/portage/media-libs/devil-1.7.8-r1/work | |
>>> Preparing source in /var/tmp/portage/media-libs/devil-1.7.8-r1/work/devil-1.7.8 ... | |
[32;01m*[0m Applying devil-1.7.8-CVE-2009-3994.patch ... |
OlderNewer