Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 1, 2019

• agda: update 2.6.0.1_1 bottle.

  

  BrewTestBot

  authored and

  fxcoudert

  committed
  56a6381

• agda: update standard library

  Show description for 729b3cb
  

  mietek

  authored and

  fxcoudert

  committed
  729b3cb

Commits on Jun 29, 2019

• Add uses_from_macos to formulae, part 1 (a-j) (Homebrew#41435)

  jonchang

  authored
  3d1768d

Commits on Jun 21, 2019

• agda: update 2.6.0.1 bottle.

  

  BrewTestBot

  authored and

  fxcoudert

  committed
  e6bd71a

• agda 2.6.0.1

  Show description for 5977b13
  

  mietek

  authored and

  fxcoudert

  committed
  5977b13

Commits on May 6, 2019

• agda: update 2.6.0 bottle.

  

  BrewTestBot

  authored and

  fxcoudert

  committed
  290be01

• agda 2.6.0

  Show description for ac4c272
  

  mietek

  authored and

  fxcoudert

  committed
  ac4c272

Commits on Dec 18, 2018

• agda: update 2.5.4.2 bottle.

  

  BrewTestBot

  authored and

  fxcoudert

  committed
  a59754a

• agda: remove options

  fxcoudert

  committed
  f345874

Commits on Dec 12, 2018

• agda: secure homepage

  vszakats

  committed
  7f34cae

Commits on Nov 4, 2018

• agda: fix RuboCop Layout/AlignHash.

  MikeMcQuaid

  committed
  29c1855

Commits on Oct 31, 2018

• agda: update 2.5.4.2 bottle.

  

  BrewTestBot

  authored and

  fxcoudert

  committed
  12472a6

• agda 2.5.4.2

  Show description for eeb9bba
  

  mietek

  authored and

  fxcoudert

  committed
  eeb9bba

Commits on Sep 5, 2018

• agda: remove some options

  fxcoudert

  committed
  0c5b780

Commits on Aug 20, 2018

• agda: update 2.5.4.1 bottle.

  

  BrewTestBot

  authored and

  fxcoudert

  committed
  1e044ee

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

Pagination

PreviousNext