johnw (John Wiegley)Administrator
User

User Details

User Since
May 30 2014, 11:12 PM (267 w, 6 d)
Roles
Administrator

Recent Activity

Jul 27 2015

johnw added a comment to D216: Improve error message for newtypes and deriving clauses.

@bgamari I have no further progress; would you be willing to take it over?

Jul 27 2015, 10:02 AM

Dec 5 2014

johnw committed rNIXPKGSe5d92d45b791: coqPackages.coqeal: new expression (authored by johnw).
coqPackages.coqeal: new expression
Dec 5 2014, 9:05 PM
johnw committed rNIXPKGSaefdaaa09875: haskellPackages.unboundGenerics: new expression (authored by johnw).
haskellPackages.unboundGenerics: new expression
Dec 5 2014, 9:04 PM
johnw committed rNIXPKGScded93d25dea: haskellPackages.hoopl: new expression 3.10.0.1 (authored by johnw).
haskellPackages.hoopl: new expression 3.10.0.1
Dec 5 2014, 9:04 PM
johnw committed rNIXPKGS182525527205: coq_HEAD: update (authored by johnw).
coq_HEAD: update
Dec 5 2014, 8:56 PM
johnw committed rNIXPKGSadeb4fb56b20: emacs24Macport: emacs-24.4-mac-5.0 -> emacs-24.4-mac-5.1 (authored by johnw).
emacs24Macport: emacs-24.4-mac-5.0 -> emacs-24.4-mac-5.1
Dec 5 2014, 8:56 PM
johnw committed rNIXPKGS38ab111dd772: coqPackages.unimath: new expression (authored by johnw).
coqPackages.unimath: new expression
Dec 5 2014, 8:51 PM
johnw committed rNIXPKGSdddea7f0d1ab: Revert "haskell-pandoc-citeproc: drop obsolete versions 0.4 and 0.5" (authored by johnw).
Revert "haskell-pandoc-citeproc: drop obsolete versions 0.4 and 0.5"
Dec 5 2014, 8:51 PM
johnw committed rNIXPKGS68f3d5688036: Drop reference to old shelly from haskell-defaults.nix (authored by johnw).
Drop reference to old shelly from haskell-defaults.nix
Dec 5 2014, 8:51 PM
johnw committed rNIXPKGSa4ee94b741d8: boost: correct the install names for darwin (authored by johnw).
boost: correct the install names for darwin
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS28d0908bfbe4: ledger3: On darwin, change boost lib paths to absolute references (authored by johnw).
ledger3: On darwin, change boost lib paths to absolute references
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGSd9de60d1bd0a: ledger3: reference the right lib directory... (authored by johnw).
ledger3: reference the right lib directory...
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS80b0f385f08d: emacs24Packages.auctex: 11.87 -> 11.88 (authored by johnw).
emacs24Packages.auctex: 11.87 -> 11.88
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS311c6c66bf78: Undo some changes only appropriate for the clang fork (authored by johnw).
Undo some changes only appropriate for the clang fork
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS4219c2763280: threadscope: allow building with GHC 7.8.3, and on recent OS X (authored by johnw).
threadscope: allow building with GHC 7.8.3, and on recent OS X
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS4c81ac3320cc: macvim: Update sha256 (authored by johnw).
macvim: Update sha256
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGSd4c3e454a2b6: coq_HEAD: update to latest commit (authored by johnw).
coq_HEAD: update to latest commit
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS198874e48977: emacs24Macport: allow installing either 24.3 or 24.4 (authored by johnw).
emacs24Macport: allow installing either 24.3 or 24.4
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS2b9e43b513bb: coq: 8.4pl4 -> 8.4pl5 (authored by johnw).
coq: 8.4pl4 -> 8.4pl5
Dec 5 2014, 8:46 PM
johnw committed rNIXPKGS0fdd8b312e68: emacs24Macport: 23.4-mac-4.8 -> 24.4-mac-5.0 (authored by johnw).
emacs24Macport: 23.4-mac-4.8 -> 24.4-mac-5.0
Dec 5 2014, 8:37 PM
johnw committed rNIXPKGS89e68ee32ea3: coqPackages.flocq: new expression (authored by johnw).
coqPackages.flocq: new expression
Dec 5 2014, 8:37 PM
johnw committed rNIXPKGS8d8acebfbb31: Extra: rename directory to Extra-lib (authored by johnw).
Extra: rename directory to Extra-lib
Dec 5 2014, 8:37 PM
johnw committed rNIXPKGS6590a19694da: hoogle: reference the older haskellSrcExts directly (authored by johnw).
hoogle: reference the older haskellSrcExts directly
Dec 5 2014, 8:36 PM
johnw committed rNIXPKGS57eb7f107d64: lambdabot: Get it building again against older packages (authored by johnw).
lambdabot: Get it building again against older packages
Dec 5 2014, 8:35 PM
johnw committed rNIXPKGS1515dbf962d7: haskell-hakyll: Allow it to build again (authored by johnw).
haskell-hakyll: Allow it to build again
Dec 5 2014, 8:35 PM
johnw committed rNIXPKGS6558ab94a4ef: Elm: no longer references pandoc (authored by johnw).
Elm: no longer references pandoc
Dec 5 2014, 8:35 PM
johnw committed rNIXPKGSba225607689c: git-annex: temporary patch to build the current version (authored by johnw).
git-annex: temporary patch to build the current version
Dec 5 2014, 8:35 PM
johnw committed rNIXPKGS436cdb7e8797: texlive: add jwiegley as a maintainer (authored by johnw).
texlive: add jwiegley as a maintainer
Dec 5 2014, 8:32 PM
johnw committed rNIXPKGS6dfb01d6e0af: Merge pull request #4507 from geerds/texlive (authored by johnw).
Merge pull request #4507 from geerds/texlive
Dec 5 2014, 8:32 PM
johnw committed rNIXPKGSf78f2a90d664: coqPackages.ssreflect, more: build ssrcoq binary, add maintainer (authored by johnw).
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
Dec 5 2014, 8:32 PM
johnw committed rNIXPKGS7821d152990a: coqPackages.domains: new expression (authored by johnw).
coqPackages.domains: new expression
Dec 5 2014, 8:30 PM
johnw committed rNIXPKGS904bee0c461e: coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions (authored by johnw).
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
Dec 5 2014, 8:30 PM
johnw committed rNIXPKGSf300c68977ed: coqPackages.ynot: remove broken tag (authored by johnw).
coqPackages.ynot: remove broken tag
Dec 5 2014, 8:30 PM
johnw committed rNIXPKGS382badfefbd8: coqPackages.bedrock: new expression (authored by johnw).
coqPackages.bedrock: new expression
Dec 5 2014, 8:30 PM
johnw committed rNIXPKGS814961f37afd: coqPackages.tlc: new expression (authored by johnw).
coqPackages.tlc: new expression
Dec 5 2014, 8:30 PM
johnw committed rNIXPKGSa064080d8cd1: coqPackages.containers: correct sha256 for the tarball (authored by johnw).
coqPackages.containers: correct sha256 for the tarball
Dec 5 2014, 8:30 PM
johnw committed rNIXPKGSf310d73ac140: coqPackages.containers: set broken to false (authored by johnw).
coqPackages.containers: set broken to false
Dec 5 2014, 8:30 PM
johnw committed rNIXPKGSe73aefcf931b: coq_HEAD: Update (authored by johnw).
coq_HEAD: Update
Dec 5 2014, 8:29 PM
johnw committed rNIXPKGS10e215a3ae1f: isabelle: Version 2014 building on Linux and Darwin (authored by johnw).
isabelle: Version 2014 building on Linux and Darwin
Dec 5 2014, 8:25 PM
johnw committed rNIXPKGS57b292fb1b52: isabelle: Another Linux hash change? (authored by johnw).
isabelle: Another Linux hash change?
Dec 5 2014, 8:25 PM
johnw committed rNIXPKGS5a7ce1185b84: isabelle: Remove Linux patches (is this correct?) (authored by johnw).
isabelle: Remove Linux patches (is this correct?)
Dec 5 2014, 8:25 PM
johnw committed rNIXPKGS8d9cd1557bfe: isabelle: Correct the 2014 sha value for Linux (authored by johnw).
isabelle: Correct the 2014 sha value for Linux
Dec 5 2014, 8:25 PM
johnw committed rNIXPKGSdb690f28a3b4: isabelle: 2013 -> 2014, plus add darwin support (authored by johnw).
isabelle: 2013 -> 2014, plus add darwin support
Dec 5 2014, 8:24 PM
johnw committed rNIXPKGS4eedbfd7865f: coq_HEAD: update to latest Git HEAD (authored by johnw).
coq_HEAD: update to latest Git HEAD
Dec 5 2014, 8:20 PM
johnw committed rNIXPKGSb26da01082f5: ocamlPackages: pin at 4.01, since much breaks with 4.02 (authored by johnw).
ocamlPackages: pin at 4.01, since much breaks with 4.02
Dec 5 2014, 8:20 PM
johnw committed rNIXPKGSc436d3d04578: ledger: 3.0.2 -> 3.0.4 (authored by johnw).
ledger: 3.0.2 -> 3.0.4
Dec 5 2014, 8:20 PM
johnw committed rNIXPKGS3e5bcdc327eb: haskell-here: new expression (authored by johnw).
haskell-here: new expression
Dec 5 2014, 8:14 PM
johnw committed rNIXPKGS10afb382b713: ott: 0.25 new expression (authored by johnw).
ott: 0.25 new expression
Dec 5 2014, 8:14 PM
johnw committed rNIXPKGSbf009f87a944: coq_HEAD: update to latest Git version (authored by johnw).
coq_HEAD: update to latest Git version
Dec 5 2014, 8:11 PM
johnw committed rNIXPKGS686fa594ab63: coq_HEAD: update to latest Git HEAD (authored by johnw).
coq_HEAD: update to latest Git HEAD
Dec 5 2014, 8:00 PM
johnw committed rNIXPKGS72954393f830: haskell-ivory: 0.1.0.0 new expression (authored by johnw).
haskell-ivory: 0.1.0.0 new expression
Dec 5 2014, 8:00 PM
johnw committed rNIXPKGS708e16e67584: ssreflect: 1.4 -> 1.5 (authored by johnw).
ssreflect: 1.4 -> 1.5
Dec 5 2014, 7:52 PM
johnw committed rNIXPKGS8b131007107e: Merge pull request #3658 from cstrahan/xquartz-cleanup (authored by johnw).
Merge pull request #3658 from cstrahan/xquartz-cleanup
Dec 5 2014, 7:51 PM
johnw committed rNIXPKGScd89cc018f11: haskell-aeson: Add version 0.7.0.6 (authored by johnw).
haskell-aeson: Add version 0.7.0.6
Dec 5 2014, 7:47 PM
johnw committed rNIXPKGS28d898ed0758: texlive: Fix build for users of Mavericks (authored by johnw).
texlive: Fix build for users of Mavericks
Dec 5 2014, 7:47 PM
johnw committed rNIXPKGScfc70c60ab11: coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590 (authored by johnw).
coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590
Dec 5 2014, 7:47 PM
johnw committed rNIXPKGSdc285e6895e9: cabal.mkDerivation: Use defaultMain if no Setup.{l,}hs exists. (authored by Shea Levy <shea@shealevy.com>).
cabal.mkDerivation: Use defaultMain if no Setup.{l,}hs exists.
Dec 5 2014, 7:47 PM
johnw committed rNIXPKGS06a324f7dc52: Merge pull request #3101 from cstrahan/xquartz (authored by johnw).
Merge pull request #3101 from cstrahan/xquartz
Dec 5 2014, 7:45 PM
johnw committed rNIXPKGS55ca43183a57: Merge pull request #3587 from copumpkin/jvmpkgs (authored by johnw).
Merge pull request #3587 from copumpkin/jvmpkgs
Dec 5 2014, 7:42 PM

Sep 17 2014

johnw added a comment to D216: Improve error message for newtypes and deriving clauses.

This has caused regressions in many other of the tests, so they will need to be corrected before this can move ahead.

Sep 17 2014, 6:52 AM
johnw retitled D216: Improve error message for newtypes and deriving clauses from to Improve error message for newtypes and deriving clauses.
Sep 17 2014, 5:21 AM

May 30 2014

johnw added a comment to T1: SSL for monitor.haskell.org/nagios.

I want to move monitor.haskell.org to Nginx before I do this. I've integrated it with FastCGI before. relrod, do you have any objections to my doing this?

May 30 2014, 11:26 PM · Haskell.org Infrastructure