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.

Port details
hope Hope is lazy interpreter for HOPE applicative language
1.1_1 lang Deleted on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.1_1Version of this port present on the latest quarterly branch.
Broken BROKEN: unfetchable
Deprecated DEPRECATED: Broken for more than 6 months
Expired This port expired on: 2020-05-05
Ignore IGNORE: is marked as broken: unfetchable
Maintainer: lev@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2001-10-17 15:21:24
Last Update: 2020-05-05 15:38:12
SVN Revision: 534093
People watching this port, also watch:: python
License: not specified in port
WWW:
http://www.soi.city.ac.uk/~ross/Hope/
Description:
HOPE is simple applicative (functional) language. It was been used in "Functional Programming" book by Anthony J. Field and Peter G. Harrison. This port installs simple lazy interpreter of hope. Author of this interpreter is Ross Paterson <ross@soi.city.ac.uk>. WWW: http://www.soi.city.ac.uk/~ross/Hope/
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
pkg-plist: as obtained via: make generate-plist
Expand this list (91 items)
Collapse this list.
  1. bin/hope
  2. man/man1/hope.1.gz
  3. share/hope/lib.new/Standard.hop
  4. share/hope/lib/Standard.hop
  5. share/hope/lib/arith.hop
  6. share/hope/lib/case.hop
  7. share/hope/lib/ctype.hop
  8. share/hope/lib/diag.hop
  9. share/hope/lib/fold.hop
  10. share/hope/lib/functions.hop
  11. share/hope/lib/lines.hop
  12. share/hope/lib/list.hop
  13. share/hope/lib/lists.hop
  14. share/hope/lib/maybe.hop
  15. share/hope/lib/products.hop
  16. share/hope/lib/range.hop
  17. share/hope/lib/seq.hop
  18. share/hope/lib/set.hop
  19. share/hope/lib/sort.hop
  20. share/hope/lib/sums.hop
  21. share/hope/lib/tree.hop
  22. share/hope/lib/void.hop
  23. share/hope/lib/words.hop
  24. share/hope/lib/y.hop
  25. share/doc/hope/examples.dvi.gz
  26. share/doc/hope/examples.ps.gz
  27. share/doc/hope/examples/examples.css
  28. share/doc/hope/examples/examples.html
  29. share/doc/hope/examples/index.html
  30. share/doc/hope/examples/labels.pl
  31. share/doc/hope/examples/node1.html
  32. share/doc/hope/examples/node2.html
  33. share/doc/hope/examples/node3.html
  34. share/doc/hope/examples/node4.html
  35. share/doc/hope/hope_tut.dvi.gz
  36. share/doc/hope/hope_tut.ps.gz
  37. share/doc/hope/hope_tut/WARNINGS
  38. share/doc/hope/hope_tut/hope_tut.css
  39. share/doc/hope/hope_tut/hope_tut.html
  40. share/doc/hope/hope_tut/index.html
  41. share/doc/hope/hope_tut/labels.pl
  42. share/doc/hope/hope_tut/node1.html
  43. share/doc/hope/hope_tut/node10.html
  44. share/doc/hope/hope_tut/node11.html
  45. share/doc/hope/hope_tut/node12.html
  46. share/doc/hope/hope_tut/node13.html
  47. share/doc/hope/hope_tut/node14.html
  48. share/doc/hope/hope_tut/node15.html
  49. share/doc/hope/hope_tut/node16.html
  50. share/doc/hope/hope_tut/node17.html
  51. share/doc/hope/hope_tut/node18.html
  52. share/doc/hope/hope_tut/node19.html
  53. share/doc/hope/hope_tut/node2.html
  54. share/doc/hope/hope_tut/node20.html
  55. share/doc/hope/hope_tut/node21.html
  56. share/doc/hope/hope_tut/node22.html
  57. share/doc/hope/hope_tut/node23.html
  58. share/doc/hope/hope_tut/node24.html
  59. share/doc/hope/hope_tut/node25.html
  60. share/doc/hope/hope_tut/node3.html
  61. share/doc/hope/hope_tut/node4.html
  62. share/doc/hope/hope_tut/node5.html
  63. share/doc/hope/hope_tut/node6.html
  64. share/doc/hope/hope_tut/node7.html
  65. share/doc/hope/hope_tut/node8.html
  66. share/doc/hope/hope_tut/node9.html
  67. share/doc/hope/ref_man.dvi.gz
  68. share/doc/hope/ref_man.ps.gz
  69. share/doc/hope/ref_man/WARNINGS
  70. share/doc/hope/ref_man/index.html
  71. share/doc/hope/ref_man/internals.pl
  72. share/doc/hope/ref_man/labels.pl
  73. share/doc/hope/ref_man/node1.html
  74. share/doc/hope/ref_man/node10.html
  75. share/doc/hope/ref_man/node11.html
  76. share/doc/hope/ref_man/node12.html
  77. share/doc/hope/ref_man/node13.html
  78. share/doc/hope/ref_man/node14.html
  79. share/doc/hope/ref_man/node15.html
  80. share/doc/hope/ref_man/node16.html
  81. share/doc/hope/ref_man/node17.html
  82. share/doc/hope/ref_man/node2.html
  83. share/doc/hope/ref_man/node3.html
  84. share/doc/hope/ref_man/node4.html
  85. share/doc/hope/ref_man/node5.html
  86. share/doc/hope/ref_man/node6.html
  87. share/doc/hope/ref_man/node7.html
  88. share/doc/hope/ref_man/node8.html
  89. share/doc/hope/ref_man/node9.html
  90. share/doc/hope/ref_man/ref_man.css
  91. share/doc/hope/ref_man/ref_man.html
Collapse this list.
Dependency lines:
  • hope>0:lang/hope
No installation instructions:
This port has been deleted.
PKGNAME: hope
Flavors: there is no flavor information for this port.
distinfo:
SHA256 (hope.tar.gz) = c3be6e504dfafadcb31fd64d324aecc57f5868a7448cf74d3040abbd25d22b1b SIZE (hope.tar.gz) = 173718

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. latex2html : textproc/latex2html
  2. tex.fmt : print/tex-formats
  3. gmake : devel/gmake
There are no ports dependent upon this port

Configuration Options:
===> The following configuration options are available for hope-1.1_1: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings
Options name:
N/A
USES:
gmake
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://www.soi.city.ac.uk/~ross/Hope/
Collapse this list.

Number of commits found: 31

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.1_1
05 May 2020 15:38:12
Revision:534093Original commit files touched by this commit
rene search for other commits by this committer
Remove expired ports:

Adjusted for ports rescued since r534032

2020-05-05 audio/festvox-czech: Broken for more than 6 months
2020-05-05 audio/gkrellmvolume2: Broken for more than 6 months
2020-05-05 audio/mixmos: Broken for more than 6 months
2020-05-05 audio/mma: Broken for more than 6 months
2020-05-05 audio/pd-cyclone: Broken for more than 6 months
2020-05-05 audio/shorten: Broken for more than 6 months
2020-05-05 audio/taglib-sharp: Broken for more than 6 months
2020-05-05 audio/xhippo: Broken for more than 6 months
2020-05-05 biology/consed: Broken for more than 6 months
2020-05-05 biology/plinkseq: Broken for more than 6 months
2020-05-05 biology/seqtools: Broken for more than 6 months
(Only the first 15 lines of the commit message are shown above View all of this commit message)
1.1_1
04 Apr 2020 20:51:41
Revision:530719Original commit files touched by this commit Sanity Test Failure
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
1.1_1
06 Nov 2019 12:48:32
Revision:516880Original commit files touched by this commit Sanity Test Failure
antoine search for other commits by this committer
Mark a few ports BROKEN, unfetchable
1.1_1
19 May 2016 10:44:12
Revision:415499Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
1.1_1
11 May 2016 20:22:08
Revision:415027Original commit files touched by this commit
bapt search for other commits by this committer
Prevent collision with getline(3)
1.1_1
01 Apr 2016 14:08:38
Revision:412347Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
1.1_1
26 Aug 2015 19:36:14
Revision:395394Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Switch to options helpers
- Add missing docs to plist
- Use DATADIR and DOCSDIR in plist, sort

Approved by:	portmgr blanket
1.1
27 Oct 2014 15:23:31
Revision:371587Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
1.1
18 May 2014 20:07:43
Revision:354465Original commit files touched by this commit
lev search for other commits by this committer
 STAGEfy
1.1
20 Sep 2013 19:53:10
Revision:327741Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
1.1
11 May 2013 17:58:56
Revision:317899Original commit files touched by this commit
hrs search for other commits by this committer
Rectify USE_TEX to support both of teTeX and TeXLive.

TEX_DEFAULT:
	A knob to choose teTeX or TeXLive.  One can specify in /etc/make.conf.

USE_TEX:
	A knob for port developers.  Valid keywords are listed in
	bsd.tex.mk.
1.1
06 May 2013 02:00:41
Revision:317455Original commit files touched by this commit
hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
1.1
29 Jul 2012 11:17:04
Original commit files touched by this commit
cs search for other commits by this committer
Fix typos in COMMENT

Approved by:	portmgr@ (implicit)
1.1
03 Jul 2011 13:45:36
Original commit files touched by this commit
ohauer search for other commits by this committer
- remove MD5
1.1
18 Dec 2008 15:05:04
Original commit files touched by this commit
olgeni search for other commits by this committer
Fix a typo :)
1.1
17 Dec 2008 15:48:44
Original commit files touched by this commit
pav search for other commits by this committer
- Unbreak, undeprecate

PR:             ports/127449
Submitted by:   Yi-Jheng Lin <yzlin@cs.nctu.edu.tw>
Approved by:    maintainer timeout (lev; 3 months)
1.1
19 Jun 2008 02:54:54
Original commit files touched by this commit
pav search for other commits by this committer
- This port has been BROKEN for more than 6 months.  It will be removed unless
  fixed in next two months.

With hat:       portmgr
1.1
18 Aug 2007 01:07:00
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN: Patch fails
1.1
18 Jul 2007 08:38:15
Original commit files touched by this commit
lev search for other commits by this committer
  Source tarball was replaced by author.
  Changes are: new makedepend.sh, some clean-ups in makefiles.
1.0
22 Jan 2006 12:42:24
Original commit files touched by this commit
edwin search for other commits by this committer
SHA256ify

Approved by: krion@
1.0
10 Apr 2004 16:07:10
Original commit files touched by this commit
trevor search for other commits by this committer
Trim whitespace.
1.0
22 Feb 2004 09:28:08
Original commit files touched by this commit
lev search for other commits by this committer
   Author releases new version without changing file name.
   DIFF review:
     (1) Some script-generated files in documentation ommited.
     (2) One bug in sources fixed.
     (3) Makefile regenerated.
     (4) Documentation cleaning targed fixed.
     (5) bison-based parser regenerated with new bison version.

   DIFF could be found at http://lev.serebryakov.spb.ru/download/hope.diff.bz2
0.0_2
21 Feb 2004 21:22:58
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN: Checksum mismatch
0.0_2
04 Feb 2004 05:21:48
Original commit files touched by this commit
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
0.0_1
08 Dec 2003 10:53:28
Original commit files touched by this commit
lev search for other commits by this committer
  Fix building on 5-CURRENT

PR:             ports/60018
Submitted by:   FreeBSD-gnats-submit@freebsd.org
0.0
17 Jun 2003 13:53:46
Original commit files touched by this commit
lev search for other commits by this committer
Change MAINTAINER field of my ports to lev@FReeBSD.org, my brand-new
committer's e-mail

Approved by:    sobomax
0.0
04 Jun 2003 22:43:38
Original commit files touched by this commit
kris search for other commits by this committer
Move inclusion of bsd.port.pre.mk later in the file for conditional BROKEN
tag.  Early inclusion caused problems for some ports, so to be safe I'm
updating all of them.

Pointy hat to:  kris
0.0
18 May 2003 09:31:19
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN on 5.1: does not install
0.0
21 Feb 2003 12:35:09
Original commit files touched by this commit
knu search for other commits by this committer
De-pkg-comment.
0.0
18 Dec 2002 23:38:24
Original commit files touched by this commit
naddy search for other commits by this committer
Fix building with GCC3.
17 Oct 2001 19:21:24
commit hash: fp1.19801@dev.null.freshports.orgcommit hash: fp1.19801@dev.null.freshports.orgcommit hash: fp1.19801@dev.null.freshports.orgcommit hash: fp1.19801@dev.null.freshports.org files touched by this commit
ijliao search for other commits by this committer
add hope   Hope is lazy interpriter for HOPE applicative language    

Number of commits found: 31