notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

non port: math/hs-Agda/pkg-plist

Number of commits found: 11

Saturday, 16 Mar 2024
11:51 Gleb Popov (arrowd) search for other commits by this committer
math/hs-Agda: Fix plist

PR:		277730
Fixes:	ba61a442a89ec86117ece8c356b5c5117a67681e
commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41 commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41 commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41 commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41 189bfde
Thursday, 8 Feb 2024
20:07 Gleb Popov (arrowd) search for other commits by this committer Author: awoonya
math/hs-Agda: update to 2.6.4.1
commit hash: f59e1f7db55878af128e28b90b38736e6e570107 commit hash: f59e1f7db55878af128e28b90b38736e6e570107 commit hash: f59e1f7db55878af128e28b90b38736e6e570107 commit hash: f59e1f7db55878af128e28b90b38736e6e570107 f59e1f7
Monday, 15 Aug 2022
13:07 Gleb Popov (arrowd) search for other commits by this committer
math/hs-Agda: Unbreak and enable compiling emacs mode files.
commit hash: a04537df062a4149d0a518c1d68e54f7757f1020 commit hash: a04537df062a4149d0a518c1d68e54f7757f1020 commit hash: a04537df062a4149d0a518c1d68e54f7757f1020 commit hash: a04537df062a4149d0a518c1d68e54f7757f1020 a04537df
Friday, 22 Oct 2021
14:25 Gleb Popov (arrowd) search for other commits by this committer Author: Alexis Praga
math/hs-Agda: Update to 2.6.2
commit hash: f4a961f81b11b83af23432adc8e9d68b59feecba commit hash: f4a961f81b11b83af23432adc8e9d68b59feecba commit hash: f4a961f81b11b83af23432adc8e9d68b59feecba commit hash: f4a961f81b11b83af23432adc8e9d68b59feecba f4a961f
Wednesday, 19 Aug 2020
12:27 arrowd search for other commits by this committer
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
with our new Emacs.
Original commitRevision:545318 
Wednesday, 6 May 2020
20:31 arrowd search for other commits by this committer
math/hs-Agda: Install emacs mode files.

PR:		246254
Original commitRevision:534200 
Monday, 4 May 2020
18:08 arrowd search for other commits by this committer
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.

PR:		244784
Submitted by:	Evilham <contact@evilham.com> (some ports)
Original commitRevision:533933 
Thursday, 13 Jun 2019
18:51 arrowd search for other commits by this committer
math/hs-Agda: Update to latest version and unbreak.

Approved by:	tcberner (mentor, implicit)
Original commitRevision:504134 
Monday, 9 May 2011
05:28 ashish search for other commits by this committer
- Please welcome GHC 7.0.3

GHC in the ports tree has been updated to 7.0.3 and all other Haskell ports
are also updated to their corresponding Haskell Platform versions, or latest
versions.

We would like to acknowledge the support of the FreeBSD Donations Team and
Eotvos Lorand University, Faculty of Informatics who contributed to the server
that we used for testing.

We would also like to thank all the testers who tested FreeBSD Haskell ports
and provided their feedback.

PR:             ports/156642
Approved by:    tabthorpe (mentor)
Obtained from:  FreeBSD Haskell
Original commit
Wednesday, 12 May 2010
16:33 pgj search for other commits by this committer
Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
ports which makes possible the direct translation of Cabal package
descriptions to FreeBSD ports.  It promises both easier addition and
maintenance for Cabal-based ports.
Original commit
Monday, 4 Jan 2010
03:24 pgj search for other commits by this committer
Agda is a dependently typed functional programming language: It has inductive
families, which are similar to Haskell's GADTs, but they can be indexed by
values and not just types. It also has parameterised modules, mixfix operators,
Unicode characters, and an interactive Emacs interface (the type checker can
assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Lof. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.

WWW: http://wiki.portal.chalmers.se/agda/

PR:             ports/142141
Submitted by:   Jacula Modyun <jacula(at)gmail.com>
Original commit

Number of commits found: 11