Commits

Breadcrumbs

History for

on62840ba

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 20, 2018

• agda: update 2.5.4.1 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  62840ba

• agda 2.5.4.1

  Show description for 1eb9377
  ilovezfs

  committed
  1eb9377

Commits on Jun 3, 2018

• agda: update 2.5.4 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  6d56972

• agda 2.5.4

  Show description for a145d09
  ilovezfs

  committed
  a145d09

Commits on Apr 5, 2018

• agda: update 2.5.3_3 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  b83864a

• agda: bump standard library version to 0.15

  Show description for e50e68f
  

  Mistral Contrastin

  authored and

  ilovezfs

  committed
  e50e68f

Commits on Mar 20, 2018

• agda: update 2.5.3_2 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  13cf9be

• agda: depend on ghc@8.2

  Show description for 24d833c
  ilovezfs

  committed
  24d833c

Commits on Jan 10, 2018

• agda: update 2.5.3_1 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  e48dca1

• agda: depend on emacs instead of :emacs

  ilovezfs

  committed
  ee22c31

Commits on Oct 21, 2017

• Indentation style fixes (Homebrew#19679)

  ilovezfs

  authored
  ec2da05

Commits on Oct 20, 2017

• Use “squiggly” heredocs.

  

  ilovezfs

  authored and

  MikeMcQuaid

  committed
  16ebe5f

Commits on Sep 22, 2017

• agda: update 2.5.3 bottle.

  

  BrewTestBot

  authored and

  fxcoudert

  committed
  c873bde

Commits on Sep 9, 2017

• agda: update 2.5.3 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  d1aa69b

• agda 2.5.3

  Show description for e4b1869
  ilovezfs

  committed
  e4b1869

Commits on Sep 5, 2017

• agda: update 2.5.3-alpha1 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  90c3c91

• agda: use cabal.config from stackage lts 9.1

  Show description for 92ac851
  ilovezfs

  committed
  92ac851

Commits on Aug 9, 2017

• agda: update 2.5.3-alpha1 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  ecc875e

• agda 2.5.3-alpha1

  Show description for e1f505f
  ilovezfs

  committed
  e1f505f

Commits on Jul 27, 2017

• agda: update 2.5.2_1 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  635069e

• agda: depend on ghc@8.0

  Show description for 0f9d8d5
  ilovezfs

  committed
  0f9d8d5

Commits on Dec 24, 2016

• agda: update 2.5.2 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  5d40827

• agda 2.5.2

  Show description for 31eebae
  

  mietek

  authored and

  ilovezfs

  committed
  31eebae

Commits on Dec 21, 2016

• agda: update 2.5.1.2_1 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  50462be

• agda: revision for directory 1.3

  Show description for 5347468
  ilovezfs

  committed
  5347468

Commits on Nov 26, 2016

• agda: update 2.5.1.2 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  2757b72

• agda 2.5.1.2

  Show description for ca8688a
  ilovezfs

  committed
  ca8688a

Commits on Sep 25, 2016

• agda: update 2.5.1.1 bottle.

  

  BrewTestBot

  authored and

  zmwangx

  committed
  d96d94f

Commits on Sep 24, 2016

• Use hash rockets again. (Homebrew#5177)

  Show description for 7a4dabf
  MikeMcQuaid

  authored
  7a4dabf

Commits on Sep 18, 2016

• Use Ruby 1.9+ symbol hash keys in all formulae. (Homebrew#4942)

  MikeMcQuaid

  authored
  3036601

Commits on Jul 21, 2016

• agda: update 2.5.1.1 bottle.

  

  BrewTestBot

  authored and

  ilovezfs

  committed
  b2fcf56

• agda: remove gmp dependency

  Show description for 412cf2d
  ilovezfs

  committed
  412cf2d

• agda: raise emacs requirement to 23.4

  Show description for e83c827
  ilovezfs

  committed
  e83c827

Commits on Jun 22, 2016

• agda: update 2.5.1.1 bottle.

  

  BrewTestBot

  authored and

  UniqMartin

  committed
  d326dd3

• agda 2.5.1.1

  Show description for 2a2e33e
  

  mietek

  authored and

  UniqMartin

  committed
  2a2e33e

Pagination

Previous

Next