notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
lean Theorem prover
3.4.2_1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 3.4.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-07-22 05:59:10
Last Update: 2019-07-26 21:46:57
SVN Revision: 507372
License: APACHE20
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (831 items)
  1. /usr/local/share/licenses/lean-3.4.2_1/catalog.mk
  2. /usr/local/share/licenses/lean-3.4.2_1/LICENSE
  3. /usr/local/share/licenses/lean-3.4.2_1/APACHE20
  4. bin/lean
  5. bin/leanchecker
  6. bin/leanpkg
  7. include/lean.h
  8. include/lean_bool.h
  9. include/lean_decl.h
  10. include/lean_env.h
  11. include/lean_exception.h
  12. include/lean_expr.h
  13. include/lean_ext/api/decl.h
  14. include/lean_ext/api/exception.h
  15. include/lean_ext/api/expr.h
  16. include/lean_ext/api/inductive.h
  17. include/lean_ext/api/ios.h
  18. include/lean_ext/api/lean.h
  19. include/lean_ext/api/lean_bool.h
  20. include/lean_ext/api/lean_decl.h
  21. include/lean_ext/api/lean_env.h
  22. include/lean_ext/api/lean_exception.h
  23. include/lean_ext/api/lean_expr.h
  24. include/lean_ext/api/lean_inductive.h
  25. include/lean_ext/api/lean_ios.h
  26. include/lean_ext/api/lean_macros.h
  27. include/lean_ext/api/lean_module.h
  28. include/lean_ext/api/lean_name.h
  29. include/lean_ext/api/lean_options.h
  30. include/lean_ext/api/lean_parser.h
  31. include/lean_ext/api/lean_string.h
  32. include/lean_ext/api/lean_type_checker.h
  33. include/lean_ext/api/lean_univ.h
  34. include/lean_ext/api/name.h
  35. include/lean_ext/api/options.h
  36. include/lean_ext/api/string.h
  37. include/lean_ext/api/type_checker.h
  38. include/lean_ext/api/univ.h
  39. include/lean_ext/checker/simple_pp.h
  40. include/lean_ext/checker/text_import.h
  41. include/lean_ext/frontends/lean/brackets.h
  42. include/lean_ext/frontends/lean/builtin_cmds.h
  43. include/lean_ext/frontends/lean/builtin_exprs.h
  44. include/lean_ext/frontends/lean/calc.h
  45. include/lean_ext/frontends/lean/cmd_table.h
  46. include/lean_ext/frontends/lean/completion.h
  47. include/lean_ext/frontends/lean/decl_attributes.h
  48. include/lean_ext/frontends/lean/decl_cmds.h
  49. include/lean_ext/frontends/lean/decl_util.h
  50. include/lean_ext/frontends/lean/definition_cmds.h
  51. include/lean_ext/frontends/lean/dependencies.h
  52. include/lean_ext/frontends/lean/elaborator.h
  53. include/lean_ext/frontends/lean/inductive_cmds.h
  54. include/lean_ext/frontends/lean/info_manager.h
  55. include/lean_ext/frontends/lean/init_module.h
  56. include/lean_ext/frontends/lean/interactive.h
  57. include/lean_ext/frontends/lean/json.h
  58. include/lean_ext/frontends/lean/local_context_adapter.h
  59. include/lean_ext/frontends/lean/local_decls.h
  60. include/lean_ext/frontends/lean/local_level_decls.h
  61. include/lean_ext/frontends/lean/match_expr.h
  62. include/lean_ext/frontends/lean/module_parser.h
  63. include/lean_ext/frontends/lean/notation_cmd.h
  64. include/lean_ext/frontends/lean/parse_table.h
  65. include/lean_ext/frontends/lean/parser.h
  66. include/lean_ext/frontends/lean/parser_config.h
  67. include/lean_ext/frontends/lean/parser_pos_provider.h
  68. include/lean_ext/frontends/lean/parser_state.h
  69. include/lean_ext/frontends/lean/pp.h
  70. include/lean_ext/frontends/lean/prenum.h
  71. include/lean_ext/frontends/lean/print_cmd.h
  72. include/lean_ext/frontends/lean/scanner.h
  73. include/lean_ext/frontends/lean/structure_cmd.h
  74. include/lean_ext/frontends/lean/structure_instance.h
  75. include/lean_ext/frontends/lean/tactic_notation.h
  76. include/lean_ext/frontends/lean/token_table.h
  77. include/lean_ext/frontends/lean/tokens.h
  78. include/lean_ext/frontends/lean/type_util.h
  79. include/lean_ext/frontends/lean/user_command.h
  80. include/lean_ext/frontends/lean/user_notation.h
  81. include/lean_ext/frontends/lean/util.h
  82. include/lean_ext/init/init.h
  83. include/lean_ext/kernel/abstract.h
  84. include/lean_ext/kernel/abstract_type_context.h
  85. include/lean_ext/kernel/cache_stack.h
  86. include/lean_ext/kernel/declaration.h
  87. include/lean_ext/kernel/environment.h
  88. include/lean_ext/kernel/equiv_manager.h
  89. include/lean_ext/kernel/error_msgs.h
  90. include/lean_ext/kernel/expr.h
  91. include/lean_ext/kernel/expr_cache.h
  92. include/lean_ext/kernel/expr_eq_fn.h
  93. include/lean_ext/kernel/expr_maps.h
  94. include/lean_ext/kernel/expr_pair.h
  95. include/lean_ext/kernel/expr_sets.h
  96. include/lean_ext/kernel/ext_exception.h
  97. include/lean_ext/kernel/find_fn.h
  98. include/lean_ext/kernel/for_each_fn.h
  99. include/lean_ext/kernel/formatter.h
  100. include/lean_ext/kernel/free_vars.h
  101. include/lean_ext/kernel/inductive/inductive.h
  102. include/lean_ext/kernel/init_module.h
  103. include/lean_ext/kernel/instantiate.h
  104. include/lean_ext/kernel/kernel_exception.h
  105. include/lean_ext/kernel/level.h
  106. include/lean_ext/kernel/normalizer_extension.h
  107. include/lean_ext/kernel/pos_info_provider.h
  108. include/lean_ext/kernel/quotient/quotient.h
  109. include/lean_ext/kernel/replace_fn.h
  110. include/lean_ext/kernel/scope_pos_info_provider.h
  111. include/lean_ext/kernel/standard_kernel.h
  112. include/lean_ext/kernel/type_checker.h
  113. include/lean_ext/library/abstract_context_cache.h
  114. include/lean_ext/library/abstract_parser.h
  115. include/lean_ext/library/ac_match.h
  116. include/lean_ext/library/aliases.h
  117. include/lean_ext/library/annotation.h
  118. include/lean_ext/library/app_builder.h
  119. include/lean_ext/library/arith_instance.h
  120. include/lean_ext/library/attribute_manager.h
  121. include/lean_ext/library/aux_definition.h
  122. include/lean_ext/library/aux_recursors.h
  123. include/lean_ext/library/bin_app.h
  124. include/lean_ext/library/cache_helper.h
  125. include/lean_ext/library/check.h
  126. include/lean_ext/library/choice.h
  127. include/lean_ext/library/class.h
  128. include/lean_ext/library/comp_val.h
  129. include/lean_ext/library/compiler/comp_irrelevant.h
  130. include/lean_ext/library/compiler/compiler_step_visitor.h
  131. include/lean_ext/library/compiler/cse.h
  132. include/lean_ext/library/compiler/elim_recursors.h
  133. include/lean_ext/library/compiler/elim_unused_lets.h
  134. include/lean_ext/library/compiler/erase_irrelevant.h
  135. include/lean_ext/library/compiler/eta_expansion.h
  136. include/lean_ext/library/compiler/extract_values.h
  137. include/lean_ext/library/compiler/init_module.h
  138. include/lean_ext/library/compiler/inliner.h
  139. include/lean_ext/library/compiler/lambda_lifting.h
  140. include/lean_ext/library/compiler/nat_value.h
  141. include/lean_ext/library/compiler/preprocess.h
  142. include/lean_ext/library/compiler/procedure.h
  143. include/lean_ext/library/compiler/rec_fn_macro.h
  144. include/lean_ext/library/compiler/reduce_arity.h
  145. include/lean_ext/library/compiler/simp_inductive.h
  146. include/lean_ext/library/compiler/util.h
  147. include/lean_ext/library/compiler/vm_compiler.h
  148. include/lean_ext/library/congr_lemma.h
  149. include/lean_ext/library/constants.h
  150. include/lean_ext/library/constructions/brec_on.h
  151. include/lean_ext/library/constructions/cases_on.h
  152. include/lean_ext/library/constructions/constructor.h
  153. include/lean_ext/library/constructions/drec.h
  154. include/lean_ext/library/constructions/has_sizeof.h
  155. include/lean_ext/library/constructions/init_module.h
  156. include/lean_ext/library/constructions/injective.h
  157. include/lean_ext/library/constructions/no_confusion.h
  158. include/lean_ext/library/constructions/projection.h
  159. include/lean_ext/library/constructions/rec_on.h
  160. include/lean_ext/library/constructions/util.h
  161. include/lean_ext/library/context_cache.h
  162. include/lean_ext/library/deep_copy.h
  163. include/lean_ext/library/defeq_canonizer.h
  164. include/lean_ext/library/delayed_abstraction.h
  165. include/lean_ext/library/discr_tree.h
  166. include/lean_ext/library/documentation.h
  167. include/lean_ext/library/elab_context.h
  168. include/lean_ext/library/equations_compiler/compiler.h
  169. include/lean_ext/library/equations_compiler/elim_match.h
  170. include/lean_ext/library/equations_compiler/equations.h
  171. include/lean_ext/library/equations_compiler/init_module.h
  172. include/lean_ext/library/equations_compiler/pack_domain.h
  173. include/lean_ext/library/equations_compiler/pack_mutual.h
  174. include/lean_ext/library/equations_compiler/structural_rec.h
  175. include/lean_ext/library/equations_compiler/unbounded_rec.h
  176. include/lean_ext/library/equations_compiler/util.h
  177. include/lean_ext/library/equations_compiler/wf_rec.h
  178. include/lean_ext/library/eval_helper.h
  179. include/lean_ext/library/exception.h
  180. include/lean_ext/library/explicit.h
  181. include/lean_ext/library/export.h
  182. include/lean_ext/library/export_decl.h
  183. include/lean_ext/library/expr_lt.h
  184. include/lean_ext/library/expr_pair.h
  185. include/lean_ext/library/expr_pair_maps.h
  186. include/lean_ext/library/expr_unsigned_map.h
  187. include/lean_ext/library/fingerprint.h
  188. include/lean_ext/library/fun_info.h
  189. include/lean_ext/library/handle.h
  190. include/lean_ext/library/head_map.h
  191. include/lean_ext/library/idx_metavar.h
  192. include/lean_ext/library/inductive_compiler/add_decl.h
  193. include/lean_ext/library/inductive_compiler/basic.h
  194. include/lean_ext/library/inductive_compiler/compiler.h
  195. include/lean_ext/library/inductive_compiler/ginductive.h
  196. include/lean_ext/library/inductive_compiler/ginductive_decl.h
  197. include/lean_ext/library/inductive_compiler/init_module.h
  198. include/lean_ext/library/inductive_compiler/mutual.h
  199. include/lean_ext/library/inductive_compiler/nested.h
  200. include/lean_ext/library/inductive_compiler/util.h
  201. include/lean_ext/library/init_module.h
  202. include/lean_ext/library/inverse.h
  203. include/lean_ext/library/io_state.h
  204. include/lean_ext/library/io_state_stream.h
  205. include/lean_ext/library/kernel_serializer.h
  206. include/lean_ext/library/library_task_builder.h
  207. include/lean_ext/library/local_context.h
  208. include/lean_ext/library/local_instances.h
  209. include/lean_ext/library/locals.h
  210. include/lean_ext/library/max_sharing.h
  211. include/lean_ext/library/message_builder.h
  212. include/lean_ext/library/messages.h
  213. include/lean_ext/library/metavar_context.h
  214. include/lean_ext/library/metavar_util.h
  215. include/lean_ext/library/module.h
  216. include/lean_ext/library/module_mgr.h
  217. include/lean_ext/library/mt_task_queue.h
  218. include/lean_ext/library/native_compiler/cpp_compiler.h
  219. include/lean_ext/library/noncomputable.h
  220. include/lean_ext/library/norm_num.h
  221. include/lean_ext/library/normalize.h
  222. include/lean_ext/library/num.h
  223. include/lean_ext/library/parray.h
  224. include/lean_ext/library/pattern_attribute.h
  225. include/lean_ext/library/persistent_context_cache.h
  226. include/lean_ext/library/phash_map.h
  227. include/lean_ext/library/phashtable.h
  228. include/lean_ext/library/pipe.h
  229. include/lean_ext/library/placeholder.h
  230. include/lean_ext/library/pp_options.h
  231. include/lean_ext/library/print.h
  232. include/lean_ext/library/private.h
  233. include/lean_ext/library/process.h
  234. include/lean_ext/library/profiling.h
  235. include/lean_ext/library/projection.h
  236. include/lean_ext/library/protected.h
  237. include/lean_ext/library/quote.h
  238. include/lean_ext/library/reducible.h
  239. include/lean_ext/library/register_module.h
  240. include/lean_ext/library/relation_manager.h
  241. include/lean_ext/library/replace_visitor.h
  242. include/lean_ext/library/replace_visitor_with_tc.h
  243. include/lean_ext/library/scoped_ext.h
  244. include/lean_ext/library/shared_environment.h
  245. include/lean_ext/library/sorry.h
  246. include/lean_ext/library/st_task_queue.h
  247. include/lean_ext/library/string.h
  248. include/lean_ext/library/tactic/ac_tactics.h
  249. include/lean_ext/library/tactic/algebraic_normalizer.h
  250. include/lean_ext/library/tactic/app_builder_tactics.h
  251. include/lean_ext/library/tactic/apply_tactic.h
  252. include/lean_ext/library/tactic/assert_tactic.h
  253. include/lean_ext/library/tactic/backward/backward_chaining.h
  254. include/lean_ext/library/tactic/backward/backward_lemmas.h
  255. include/lean_ext/library/tactic/backward/init_module.h
  256. include/lean_ext/library/tactic/cases_tactic.h
  257. include/lean_ext/library/tactic/change_tactic.h
  258. include/lean_ext/library/tactic/clear_tactic.h
  259. include/lean_ext/library/tactic/congr_lemma_tactics.h
  260. include/lean_ext/library/tactic/destruct_tactic.h
  261. include/lean_ext/library/tactic/dsimplify.h
  262. include/lean_ext/library/tactic/elaborate.h
  263. include/lean_ext/library/tactic/elaborator_exception.h
  264. include/lean_ext/library/tactic/eqn_lemmas.h
  265. include/lean_ext/library/tactic/eval.h
  266. include/lean_ext/library/tactic/exact_tactic.h
  267. include/lean_ext/library/tactic/fun_info_tactics.h
  268. include/lean_ext/library/tactic/generalize_tactic.h
  269. include/lean_ext/library/tactic/gexpr.h
  270. include/lean_ext/library/tactic/hole_command.h
  271. include/lean_ext/library/tactic/hsubstitution.h
  272. include/lean_ext/library/tactic/induction_tactic.h
  273. include/lean_ext/library/tactic/init_module.h
  274. include/lean_ext/library/tactic/intro_tactic.h
  275. include/lean_ext/library/tactic/kabstract.h
  276. include/lean_ext/library/tactic/match_tactic.h
  277. include/lean_ext/library/tactic/norm_num_tactic.h
  278. include/lean_ext/library/tactic/occurrences.h
  279. include/lean_ext/library/tactic/revert_tactic.h
  280. include/lean_ext/library/tactic/rewrite_tactic.h
  281. include/lean_ext/library/tactic/simp_lemmas.h
  282. include/lean_ext/library/tactic/simp_result.h
  283. include/lean_ext/library/tactic/simp_util.h
  284. include/lean_ext/library/tactic/simplify.h
  285. include/lean_ext/library/tactic/smt/congruence_closure.h
  286. include/lean_ext/library/tactic/smt/congruence_tactics.h
  287. include/lean_ext/library/tactic/smt/ematch.h
  288. include/lean_ext/library/tactic/smt/hinst_lemmas.h
  289. include/lean_ext/library/tactic/smt/init_module.h
  290. include/lean_ext/library/tactic/smt/smt_state.h
  291. include/lean_ext/library/tactic/smt/theory_ac.h
  292. include/lean_ext/library/tactic/smt/util.h
  293. include/lean_ext/library/tactic/subst_tactic.h
  294. include/lean_ext/library/tactic/tactic_evaluator.h
  295. include/lean_ext/library/tactic/tactic_state.h
  296. include/lean_ext/library/tactic/unfold_tactic.h
  297. include/lean_ext/library/tactic/user_attribute.h
  298. include/lean_ext/library/tactic/vm_monitor.h
  299. include/lean_ext/library/time_task.h
  300. include/lean_ext/library/trace.h
  301. include/lean_ext/library/type_context.h
  302. include/lean_ext/library/typed_expr.h
  303. include/lean_ext/library/unfold_macros.h
  304. include/lean_ext/library/unification_hint.h
  305. include/lean_ext/library/unique_id.h
  306. include/lean_ext/library/update_declaration.h
  307. include/lean_ext/library/user_recursors.h
  308. include/lean_ext/library/util.h
  309. include/lean_ext/library/vm/init_module.h
  310. include/lean_ext/library/vm/interaction_state.h
  311. include/lean_ext/library/vm/interaction_state_imp.h
  312. include/lean_ext/library/vm/optimize.h
  313. include/lean_ext/library/vm/vm.h
  314. include/lean_ext/library/vm/vm_array.h
  315. include/lean_ext/library/vm/vm_aux.h
  316. include/lean_ext/library/vm/vm_declaration.h
  317. include/lean_ext/library/vm/vm_environment.h
  318. include/lean_ext/library/vm/vm_exceptional.h
  319. include/lean_ext/library/vm/vm_expr.h
  320. include/lean_ext/library/vm/vm_format.h
  321. include/lean_ext/library/vm/vm_int.h
  322. include/lean_ext/library/vm/vm_io.h
  323. include/lean_ext/library/vm/vm_level.h
  324. include/lean_ext/library/vm/vm_list.h
  325. include/lean_ext/library/vm/vm_name.h
  326. include/lean_ext/library/vm/vm_nat.h
  327. include/lean_ext/library/vm/vm_option.h
  328. include/lean_ext/library/vm/vm_options.h
  329. include/lean_ext/library/vm/vm_ordering.h
  330. include/lean_ext/library/vm/vm_parser.h
  331. include/lean_ext/library/vm/vm_pexpr.h
  332. include/lean_ext/library/vm/vm_pos_info.h
  333. include/lean_ext/library/vm/vm_rb_map.h
  334. include/lean_ext/library/vm/vm_string.h
  335. include/lean_ext/library/vm/vm_task.h
  336. include/lean_ext/shell/lean_js.h
  337. include/lean_ext/shell/leandoc.h
  338. include/lean_ext/shell/server.h
  339. include/lean_ext/shell/simple_pos_info_provider.h
  340. include/lean_ext/tests/util/interval/check.h
  341. include/lean_ext/util/ascii.h
  342. include/lean_ext/util/bit_tricks.h
  343. include/lean_ext/util/bitap_fuzzy_search.h
  344. include/lean_ext/util/buffer.h
  345. include/lean_ext/util/cancellable.h
  346. include/lean_ext/util/compiler_hints.h
  347. include/lean_ext/util/debug.h
  348. include/lean_ext/util/escaped.h
  349. include/lean_ext/util/exception.h
  350. include/lean_ext/util/exception_with_pos.h
  351. include/lean_ext/util/extensible_object.h
  352. include/lean_ext/util/file_lock.h
  353. include/lean_ext/util/flet.h
  354. include/lean_ext/util/freset.h
  355. include/lean_ext/util/fresh_name.h
  356. include/lean_ext/util/hash.h
  357. include/lean_ext/util/init_module.h
  358. include/lean_ext/util/int64.h
  359. include/lean_ext/util/interrupt.h
  360. include/lean_ext/util/lbool.h
  361. include/lean_ext/util/lean_path.h
  362. include/lean_ext/util/list.h
  363. include/lean_ext/util/list_fn.h
  364. include/lean_ext/util/log_tree.h
  365. include/lean_ext/util/lru_cache.h
  366. include/lean_ext/util/macros.h
  367. include/lean_ext/util/map.h
  368. include/lean_ext/util/memory.h
  369. include/lean_ext/util/memory_pool.h
  370. include/lean_ext/util/message_definitions.h
  371. include/lean_ext/util/name.h
  372. include/lean_ext/util/name_generator.h
  373. include/lean_ext/util/name_hash_map.h
  374. include/lean_ext/util/name_hash_set.h
  375. include/lean_ext/util/name_map.h
  376. include/lean_ext/util/name_set.h
  377. include/lean_ext/util/null_ostream.h
  378. include/lean_ext/util/numerics/double.h
  379. include/lean_ext/util/numerics/float.h
  380. include/lean_ext/util/numerics/gcd.h
  381. include/lean_ext/util/numerics/init_module.h
  382. include/lean_ext/util/numerics/mpbq.h
  383. include/lean_ext/util/numerics/mpq.h
  384. include/lean_ext/util/numerics/mpz.h
  385. include/lean_ext/util/numerics/numeric_traits.h
  386. include/lean_ext/util/numerics/power.h
  387. include/lean_ext/util/numerics/primes.h
  388. include/lean_ext/util/numerics/register_module.h
  389. include/lean_ext/util/numerics/remainder.h
  390. include/lean_ext/util/numerics/xnumeral.h
  391. include/lean_ext/util/numerics/zpz.h
  392. include/lean_ext/util/object_serializer.h
  393. include/lean_ext/util/optional.h
  394. include/lean_ext/util/output_channel.h
  395. include/lean_ext/util/pair.h
  396. include/lean_ext/util/parser_exception.h
  397. include/lean_ext/util/path.h
  398. include/lean_ext/util/polynomial/polynomial.h
  399. include/lean_ext/util/priority_queue.h
  400. include/lean_ext/util/rb_map.h
  401. include/lean_ext/util/rb_multi_map.h
  402. include/lean_ext/util/rb_tree.h
  403. include/lean_ext/util/rc.h
  404. include/lean_ext/util/safe_arith.h
  405. include/lean_ext/util/scoped_map.h
  406. include/lean_ext/util/scoped_set.h
  407. include/lean_ext/util/sequence.h
  408. include/lean_ext/util/serializer.h
  409. include/lean_ext/util/sexpr/format.h
  410. include/lean_ext/util/sexpr/init_module.h
  411. include/lean_ext/util/sexpr/option_declarations.h
  412. include/lean_ext/util/sexpr/options.h
  413. include/lean_ext/util/sexpr/register_module.h
  414. include/lean_ext/util/sexpr/sexpr.h
  415. include/lean_ext/util/sexpr/sexpr_fn.h
  416. include/lean_ext/util/shared_mutex.h
  417. include/lean_ext/util/small_object_allocator.h
  418. include/lean_ext/util/sstream.h
  419. include/lean_ext/util/stackinfo.h
  420. include/lean_ext/util/subscripted_name_set.h
  421. include/lean_ext/util/task.h
  422. include/lean_ext/util/task_builder.h
  423. include/lean_ext/util/test.h
  424. include/lean_ext/util/thread.h
  425. include/lean_ext/util/timeit.h
  426. include/lean_ext/util/timer.h
  427. include/lean_ext/util/trie.h
  428. include/lean_ext/util/unit.h
  429. include/lean_ext/util/unlock_guard.h
  430. include/lean_ext/util/utf8.h
  431. include/lean_ext/util/worker_queue.h
  432. include/lean_inductive.h
  433. include/lean_ios.h
  434. include/lean_macros.h
  435. include/lean_module.h
  436. include/lean_name.h
  437. include/lean_options.h
  438. include/lean_parser.h
  439. include/lean_string.h
  440. include/lean_type_checker.h
  441. include/lean_univ.h
  442. lib/lean/leanpkg/README.md
  443. lib/lean/leanpkg/leanpkg.toml
  444. lib/lean/leanpkg/leanpkg/git.lean
  445. lib/lean/leanpkg/leanpkg/git.olean
  446. lib/lean/leanpkg/leanpkg/lean_version.lean
  447. lib/lean/leanpkg/leanpkg/lean_version.olean
  448. lib/lean/leanpkg/leanpkg/main.lean
  449. lib/lean/leanpkg/leanpkg/main.olean
  450. lib/lean/leanpkg/leanpkg/manifest.lean
  451. lib/lean/leanpkg/leanpkg/manifest.olean
  452. lib/lean/leanpkg/leanpkg/proc.lean
  453. lib/lean/leanpkg/leanpkg/proc.olean
  454. lib/lean/leanpkg/leanpkg/resolve.lean
  455. lib/lean/leanpkg/leanpkg/resolve.olean
  456. lib/lean/leanpkg/leanpkg/toml.lean
  457. lib/lean/leanpkg/leanpkg/toml.olean
  458. lib/lean/library/data/bitvec.lean
  459. lib/lean/library/data/bitvec.olean
  460. lib/lean/library/data/buffer.lean
  461. lib/lean/library/data/buffer.olean
  462. lib/lean/library/data/buffer/parser.lean
  463. lib/lean/library/data/buffer/parser.olean
  464. lib/lean/library/data/dlist.lean
  465. lib/lean/library/data/dlist.olean
  466. lib/lean/library/data/lazy_list.lean
  467. lib/lean/library/data/lazy_list.olean
  468. lib/lean/library/data/rbmap/default.lean
  469. lib/lean/library/data/rbmap/default.olean
  470. lib/lean/library/data/rbtree/basic.lean
  471. lib/lean/library/data/rbtree/basic.olean
  472. lib/lean/library/data/rbtree/default.lean
  473. lib/lean/library/data/rbtree/default.olean
  474. lib/lean/library/data/rbtree/find.lean
  475. lib/lean/library/data/rbtree/find.olean
  476. lib/lean/library/data/rbtree/insert.lean
  477. lib/lean/library/data/rbtree/insert.olean
  478. lib/lean/library/data/rbtree/main.lean
  479. lib/lean/library/data/rbtree/main.olean
  480. lib/lean/library/data/rbtree/min_max.lean
  481. lib/lean/library/data/rbtree/min_max.olean
  482. lib/lean/library/data/stream.lean
  483. lib/lean/library/data/stream.olean
  484. lib/lean/library/data/vector.lean
  485. lib/lean/library/data/vector.olean
  486. lib/lean/library/init/algebra/classes.lean
  487. lib/lean/library/init/algebra/classes.olean
  488. lib/lean/library/init/algebra/default.lean
  489. lib/lean/library/init/algebra/default.olean
  490. lib/lean/library/init/algebra/field.lean
  491. lib/lean/library/init/algebra/field.olean
  492. lib/lean/library/init/algebra/functions.lean
  493. lib/lean/library/init/algebra/functions.olean
  494. lib/lean/library/init/algebra/group.lean
  495. lib/lean/library/init/algebra/group.olean
  496. lib/lean/library/init/algebra/norm_num.lean
  497. lib/lean/library/init/algebra/norm_num.olean
  498. lib/lean/library/init/algebra/order.lean
  499. lib/lean/library/init/algebra/order.olean
  500. lib/lean/library/init/algebra/ordered_field.lean
  501. lib/lean/library/init/algebra/ordered_field.olean
  502. lib/lean/library/init/algebra/ordered_group.lean
  503. lib/lean/library/init/algebra/ordered_group.olean
  504. lib/lean/library/init/algebra/ordered_ring.lean
  505. lib/lean/library/init/algebra/ordered_ring.olean
  506. lib/lean/library/init/algebra/ring.lean
  507. lib/lean/library/init/algebra/ring.olean
  508. lib/lean/library/init/category/alternative.lean
  509. lib/lean/library/init/category/alternative.olean
  510. lib/lean/library/init/category/applicative.lean
  511. lib/lean/library/init/category/applicative.olean
  512. lib/lean/library/init/category/combinators.lean
  513. lib/lean/library/init/category/combinators.olean
  514. lib/lean/library/init/category/default.lean
  515. lib/lean/library/init/category/default.olean
  516. lib/lean/library/init/category/except.lean
  517. lib/lean/library/init/category/except.olean
  518. lib/lean/library/init/category/functor.lean
  519. lib/lean/library/init/category/functor.olean
  520. lib/lean/library/init/category/id.lean
  521. lib/lean/library/init/category/id.olean
  522. lib/lean/library/init/category/lawful.lean
  523. lib/lean/library/init/category/lawful.olean
  524. lib/lean/library/init/category/lift.lean
  525. lib/lean/library/init/category/lift.olean
  526. lib/lean/library/init/category/monad.lean
  527. lib/lean/library/init/category/monad.olean
  528. lib/lean/library/init/category/monad_fail.lean
  529. lib/lean/library/init/category/monad_fail.olean
  530. lib/lean/library/init/category/option.lean
  531. lib/lean/library/init/category/option.olean
  532. lib/lean/library/init/category/reader.lean
  533. lib/lean/library/init/category/reader.olean
  534. lib/lean/library/init/category/state.lean
  535. lib/lean/library/init/category/state.olean
  536. lib/lean/library/init/cc_lemmas.lean
  537. lib/lean/library/init/cc_lemmas.olean
  538. lib/lean/library/init/classical.lean
  539. lib/lean/library/init/classical.olean
  540. lib/lean/library/init/coe.lean
  541. lib/lean/library/init/coe.olean
  542. lib/lean/library/init/core.lean
  543. lib/lean/library/init/core.olean
  544. lib/lean/library/init/data/array/basic.lean
  545. lib/lean/library/init/data/array/basic.olean
  546. lib/lean/library/init/data/array/default.lean
  547. lib/lean/library/init/data/array/default.olean
  548. lib/lean/library/init/data/array/slice.lean
  549. lib/lean/library/init/data/array/slice.olean
  550. lib/lean/library/init/data/basic.lean
  551. lib/lean/library/init/data/basic.olean
  552. lib/lean/library/init/data/bool/basic.lean
  553. lib/lean/library/init/data/bool/basic.olean
  554. lib/lean/library/init/data/bool/default.lean
  555. lib/lean/library/init/data/bool/default.olean
  556. lib/lean/library/init/data/bool/lemmas.lean
  557. lib/lean/library/init/data/bool/lemmas.olean
  558. lib/lean/library/init/data/char/basic.lean
  559. lib/lean/library/init/data/char/basic.olean
  560. lib/lean/library/init/data/char/classes.lean
  561. lib/lean/library/init/data/char/classes.olean
  562. lib/lean/library/init/data/char/default.lean
  563. lib/lean/library/init/data/char/default.olean
  564. lib/lean/library/init/data/char/lemmas.lean
  565. lib/lean/library/init/data/char/lemmas.olean
  566. lib/lean/library/init/data/default.lean
  567. lib/lean/library/init/data/default.olean
  568. lib/lean/library/init/data/fin/basic.lean
  569. lib/lean/library/init/data/fin/basic.olean
  570. lib/lean/library/init/data/fin/default.lean
  571. lib/lean/library/init/data/fin/default.olean
  572. lib/lean/library/init/data/fin/ops.lean
  573. lib/lean/library/init/data/fin/ops.olean
  574. lib/lean/library/init/data/int/basic.lean
  575. lib/lean/library/init/data/int/basic.olean
  576. lib/lean/library/init/data/int/bitwise.lean
  577. lib/lean/library/init/data/int/bitwise.olean
  578. lib/lean/library/init/data/int/comp_lemmas.lean
  579. lib/lean/library/init/data/int/comp_lemmas.olean
  580. lib/lean/library/init/data/int/default.lean
  581. lib/lean/library/init/data/int/default.olean
  582. lib/lean/library/init/data/int/order.lean
  583. lib/lean/library/init/data/int/order.olean
  584. lib/lean/library/init/data/list/basic.lean
  585. lib/lean/library/init/data/list/basic.olean
  586. lib/lean/library/init/data/list/default.lean
  587. lib/lean/library/init/data/list/default.olean
  588. lib/lean/library/init/data/list/instances.lean
  589. lib/lean/library/init/data/list/instances.olean
  590. lib/lean/library/init/data/list/lemmas.lean
  591. lib/lean/library/init/data/list/lemmas.olean
  592. lib/lean/library/init/data/list/qsort.lean
  593. lib/lean/library/init/data/list/qsort.olean
  594. lib/lean/library/init/data/nat/basic.lean
  595. lib/lean/library/init/data/nat/basic.olean
  596. lib/lean/library/init/data/nat/bitwise.lean
  597. lib/lean/library/init/data/nat/bitwise.olean
  598. lib/lean/library/init/data/nat/default.lean
  599. lib/lean/library/init/data/nat/default.olean
  600. lib/lean/library/init/data/nat/div.lean
  601. lib/lean/library/init/data/nat/div.olean
  602. lib/lean/library/init/data/nat/gcd.lean
  603. lib/lean/library/init/data/nat/gcd.olean
  604. lib/lean/library/init/data/nat/lemmas.lean
  605. lib/lean/library/init/data/nat/lemmas.olean
  606. lib/lean/library/init/data/option/basic.lean
  607. lib/lean/library/init/data/option/basic.olean
  608. lib/lean/library/init/data/option/instances.lean
  609. lib/lean/library/init/data/option/instances.olean
  610. lib/lean/library/init/data/ordering/basic.lean
  611. lib/lean/library/init/data/ordering/basic.olean
  612. lib/lean/library/init/data/ordering/default.lean
  613. lib/lean/library/init/data/ordering/default.olean
  614. lib/lean/library/init/data/ordering/lemmas.lean
  615. lib/lean/library/init/data/ordering/lemmas.olean
  616. lib/lean/library/init/data/prod.lean
  617. lib/lean/library/init/data/prod.olean
  618. lib/lean/library/init/data/punit.lean
  619. lib/lean/library/init/data/punit.olean
  620. lib/lean/library/init/data/quot.lean
  621. lib/lean/library/init/data/quot.olean
  622. lib/lean/library/init/data/rbmap/basic.lean
  623. lib/lean/library/init/data/rbmap/basic.olean
  624. lib/lean/library/init/data/rbmap/default.lean
  625. lib/lean/library/init/data/rbmap/default.olean
  626. lib/lean/library/init/data/rbtree/basic.lean
  627. lib/lean/library/init/data/rbtree/basic.olean
  628. lib/lean/library/init/data/rbtree/default.lean
  629. lib/lean/library/init/data/rbtree/default.olean
  630. lib/lean/library/init/data/repr.lean
  631. lib/lean/library/init/data/repr.olean
  632. lib/lean/library/init/data/set.lean
  633. lib/lean/library/init/data/set.olean
  634. lib/lean/library/init/data/setoid.lean
  635. lib/lean/library/init/data/setoid.olean
  636. lib/lean/library/init/data/sigma/basic.lean
  637. lib/lean/library/init/data/sigma/basic.olean
  638. lib/lean/library/init/data/sigma/default.lean
  639. lib/lean/library/init/data/sigma/default.olean
  640. lib/lean/library/init/data/sigma/lex.lean
  641. lib/lean/library/init/data/sigma/lex.olean
  642. lib/lean/library/init/data/string/basic.lean
  643. lib/lean/library/init/data/string/basic.olean
  644. lib/lean/library/init/data/string/default.lean
  645. lib/lean/library/init/data/string/default.olean
  646. lib/lean/library/init/data/string/instances.lean
  647. lib/lean/library/init/data/string/instances.olean
  648. lib/lean/library/init/data/string/ops.lean
  649. lib/lean/library/init/data/string/ops.olean
  650. lib/lean/library/init/data/subtype/basic.lean
  651. lib/lean/library/init/data/subtype/basic.olean
  652. lib/lean/library/init/data/subtype/default.lean
  653. lib/lean/library/init/data/subtype/default.olean
  654. lib/lean/library/init/data/subtype/instances.lean
  655. lib/lean/library/init/data/subtype/instances.olean
  656. lib/lean/library/init/data/sum/basic.lean
  657. lib/lean/library/init/data/sum/basic.olean
  658. lib/lean/library/init/data/sum/default.lean
  659. lib/lean/library/init/data/sum/default.olean
  660. lib/lean/library/init/data/sum/instances.lean
  661. lib/lean/library/init/data/sum/instances.olean
  662. lib/lean/library/init/data/to_string.lean
  663. lib/lean/library/init/data/to_string.olean
  664. lib/lean/library/init/data/unsigned/basic.lean
  665. lib/lean/library/init/data/unsigned/basic.olean
  666. lib/lean/library/init/data/unsigned/default.lean
  667. lib/lean/library/init/data/unsigned/default.olean
  668. lib/lean/library/init/data/unsigned/ops.lean
  669. lib/lean/library/init/data/unsigned/ops.olean
  670. lib/lean/library/init/default.lean
  671. lib/lean/library/init/default.olean
  672. lib/lean/library/init/function.lean
  673. lib/lean/library/init/function.olean
  674. lib/lean/library/init/funext.lean
  675. lib/lean/library/init/funext.olean
  676. lib/lean/library/init/init.md
  677. lib/lean/library/init/ite_simp.lean
  678. lib/lean/library/init/ite_simp.olean
  679. lib/lean/library/init/logic.lean
  680. lib/lean/library/init/logic.olean
  681. lib/lean/library/init/meta/ac_tactics.lean
  682. lib/lean/library/init/meta/ac_tactics.olean
  683. lib/lean/library/init/meta/async_tactic.lean
  684. lib/lean/library/init/meta/async_tactic.olean
  685. lib/lean/library/init/meta/attribute.lean
  686. lib/lean/library/init/meta/attribute.olean
  687. lib/lean/library/init/meta/backward.lean
  688. lib/lean/library/init/meta/backward.olean
  689. lib/lean/library/init/meta/comp_value_tactics.lean
  690. lib/lean/library/init/meta/comp_value_tactics.olean
  691. lib/lean/library/init/meta/congr_lemma.lean
  692. lib/lean/library/init/meta/congr_lemma.olean
  693. lib/lean/library/init/meta/congr_tactic.lean
  694. lib/lean/library/init/meta/congr_tactic.olean
  695. lib/lean/library/init/meta/constructor_tactic.lean
  696. lib/lean/library/init/meta/constructor_tactic.olean
  697. lib/lean/library/init/meta/contradiction_tactic.lean
  698. lib/lean/library/init/meta/contradiction_tactic.olean
  699. lib/lean/library/init/meta/converter/conv.lean
  700. lib/lean/library/init/meta/converter/conv.olean
  701. lib/lean/library/init/meta/converter/default.lean
  702. lib/lean/library/init/meta/converter/default.olean
  703. lib/lean/library/init/meta/converter/interactive.lean
  704. lib/lean/library/init/meta/converter/interactive.olean
  705. lib/lean/library/init/meta/decl_cmds.lean
  706. lib/lean/library/init/meta/decl_cmds.olean
  707. lib/lean/library/init/meta/declaration.lean
  708. lib/lean/library/init/meta/declaration.olean
  709. lib/lean/library/init/meta/default.lean
  710. lib/lean/library/init/meta/default.olean
  711. lib/lean/library/init/meta/derive.lean
  712. lib/lean/library/init/meta/derive.olean
  713. lib/lean/library/init/meta/environment.lean
  714. lib/lean/library/init/meta/environment.olean
  715. lib/lean/library/init/meta/exceptional.lean
  716. lib/lean/library/init/meta/exceptional.olean
  717. lib/lean/library/init/meta/expr.lean
  718. lib/lean/library/init/meta/expr.olean
  719. lib/lean/library/init/meta/format.lean
  720. lib/lean/library/init/meta/format.olean
  721. lib/lean/library/init/meta/fun_info.lean
  722. lib/lean/library/init/meta/fun_info.olean
  723. lib/lean/library/init/meta/has_reflect.lean
  724. lib/lean/library/init/meta/has_reflect.olean
  725. lib/lean/library/init/meta/hole_command.lean
  726. lib/lean/library/init/meta/hole_command.olean
  727. lib/lean/library/init/meta/injection_tactic.lean
  728. lib/lean/library/init/meta/injection_tactic.olean
  729. lib/lean/library/init/meta/interaction_monad.lean
  730. lib/lean/library/init/meta/interaction_monad.olean
  731. lib/lean/library/init/meta/interactive.lean
  732. lib/lean/library/init/meta/interactive.olean
  733. lib/lean/library/init/meta/interactive_base.lean
  734. lib/lean/library/init/meta/interactive_base.olean
  735. lib/lean/library/init/meta/lean/parser.lean
  736. lib/lean/library/init/meta/lean/parser.olean
  737. lib/lean/library/init/meta/level.lean
  738. lib/lean/library/init/meta/level.olean
  739. lib/lean/library/init/meta/match_tactic.lean
  740. lib/lean/library/init/meta/match_tactic.olean
  741. lib/lean/library/init/meta/mk_dec_eq_instance.lean
  742. lib/lean/library/init/meta/mk_dec_eq_instance.olean
  743. lib/lean/library/init/meta/mk_has_reflect_instance.lean
  744. lib/lean/library/init/meta/mk_has_reflect_instance.olean
  745. lib/lean/library/init/meta/mk_has_sizeof_instance.lean
  746. lib/lean/library/init/meta/mk_has_sizeof_instance.olean
  747. lib/lean/library/init/meta/mk_inhabited_instance.lean
  748. lib/lean/library/init/meta/mk_inhabited_instance.olean
  749. lib/lean/library/init/meta/name.lean
  750. lib/lean/library/init/meta/name.olean
  751. lib/lean/library/init/meta/occurrences.lean
  752. lib/lean/library/init/meta/occurrences.olean
  753. lib/lean/library/init/meta/options.lean
  754. lib/lean/library/init/meta/options.olean
  755. lib/lean/library/init/meta/pexpr.lean
  756. lib/lean/library/init/meta/pexpr.olean
  757. lib/lean/library/init/meta/rb_map.lean
  758. lib/lean/library/init/meta/rb_map.olean
  759. lib/lean/library/init/meta/rec_util.lean
  760. lib/lean/library/init/meta/rec_util.olean
  761. lib/lean/library/init/meta/ref.lean
  762. lib/lean/library/init/meta/ref.olean
  763. lib/lean/library/init/meta/relation_tactics.lean
  764. lib/lean/library/init/meta/relation_tactics.olean
  765. lib/lean/library/init/meta/rewrite_tactic.lean
  766. lib/lean/library/init/meta/rewrite_tactic.olean
  767. lib/lean/library/init/meta/set_get_option_tactics.lean
  768. lib/lean/library/init/meta/set_get_option_tactics.olean
  769. lib/lean/library/init/meta/simp_tactic.lean
  770. lib/lean/library/init/meta/simp_tactic.olean
  771. lib/lean/library/init/meta/smt/congruence_closure.lean
  772. lib/lean/library/init/meta/smt/congruence_closure.olean
  773. lib/lean/library/init/meta/smt/default.lean
  774. lib/lean/library/init/meta/smt/default.olean
  775. lib/lean/library/init/meta/smt/ematch.lean
  776. lib/lean/library/init/meta/smt/ematch.olean
  777. lib/lean/library/init/meta/smt/interactive.lean
  778. lib/lean/library/init/meta/smt/interactive.olean
  779. lib/lean/library/init/meta/smt/rsimp.lean
  780. lib/lean/library/init/meta/smt/rsimp.olean
  781. lib/lean/library/init/meta/smt/smt_tactic.lean
  782. lib/lean/library/init/meta/smt/smt_tactic.olean
  783. lib/lean/library/init/meta/tactic.lean
  784. lib/lean/library/init/meta/tactic.olean
  785. lib/lean/library/init/meta/task.lean
  786. lib/lean/library/init/meta/task.olean
  787. lib/lean/library/init/meta/vm.lean
  788. lib/lean/library/init/meta/vm.olean
  789. lib/lean/library/init/meta/well_founded_tactics.lean
  790. lib/lean/library/init/meta/well_founded_tactics.olean
  791. lib/lean/library/init/propext.lean
  792. lib/lean/library/init/propext.olean
  793. lib/lean/library/init/util.lean
  794. lib/lean/library/init/util.olean
  795. lib/lean/library/init/version.lean
  796. lib/lean/library/init/version.olean
  797. lib/lean/library/init/wf.lean
  798. lib/lean/library/init/wf.olean
  799. lib/lean/library/library.md
  800. lib/lean/library/smt/arith.lean
  801. lib/lean/library/smt/arith.olean
  802. lib/lean/library/smt/array.lean
  803. lib/lean/library/smt/array.olean
  804. lib/lean/library/smt/default.lean
  805. lib/lean/library/smt/default.olean
  806. lib/lean/library/smt/prove.lean
  807. lib/lean/library/smt/prove.olean
  808. lib/lean/library/system/io.lean
  809. lib/lean/library/system/io.olean
  810. lib/lean/library/system/io_interface.lean
  811. lib/lean/library/system/io_interface.olean
  812. lib/lean/library/system/random.lean
  813. lib/lean/library/system/random.olean
  814. lib/lean/library/tools/debugger/cli.lean
  815. lib/lean/library/tools/debugger/cli.olean
  816. lib/lean/library/tools/debugger/default.lean
  817. lib/lean/library/tools/debugger/default.olean
  818. lib/lean/library/tools/debugger/util.lean
  819. lib/lean/library/tools/debugger/util.olean
  820. lib/libleanshared.so
  821. lib/libleanstatic.a
  822. @dir include/lean_ext/cmake/Modules
  823. @dir include/lean_ext/shared
  824. @dir include/lean_ext/tests/frontends/lean
  825. @dir include/lean_ext/tests/kernel
  826. @dir include/lean_ext/tests/library/rewriter
  827. @dir include/lean_ext/tests/shared
  828. @dir include/lean_ext/tests/shell
  829. @dir include/lean_ext/tests/util/numerics
  830. @postexec /usr/sbin/service ldconfig restart > /dev/null
  831. @postunexec /usr/sbin/service ldconfig restart > /dev/null
Collapse this list.
Dependency lines:
  • lean>0:math/lean
To install the port: cd /usr/ports/math/lean/ && make install clean
To add the package: pkg install lean
PKGNAME: lean
Flavors: there is no flavor information for this port.
distinfo:

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cmake : devel/cmake
  2. ninja : devel/ninja
Library dependencies:
  1. libgmp.so : math/gmp
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
  1. https://codeload.github.com/leanprover/lean/tar.gz/v3.4.2?dummy=/

Number of commits found: 7

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
26 Jul 2019 20:46:57
Original commit files touched by this commit  3.4.2_1
Revision:507372
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
12 Mar 2019 01:23:46
Original commit files touched by this commit  3.4.2
Revision:495410
linimon search for other commits by this committer
Fix build on gcc-based architectures:

    LEAN requires g++ 4.9 or greater.

Approved by:	portmgr (tier-2 blanket)
23 Jan 2019 09:59:55
Original commit files touched by this commit  3.4.2
Revision:491029
yuri search for other commits by this committer
math/lean: Update 3.4.1 -> 3.4.2

Reported by:	portscout
25 Dec 2018 20:25:40
Original commit files touched by this commit  3.4.1
Revision:488341
tcberner search for other commits by this committer
Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine
25 Jul 2018 20:16:37
Original commit files touched by this commit  3.4.1
Revision:475334
yuri search for other commits by this committer
math/lean: Add the PORTSCOUT line.

Avoid picking undesirable tags.
23 Jul 2018 07:49:06
Original commit files touched by this commit  3.4.1
Revision:475152
yuri search for other commits by this committer
math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)
22 Jul 2018 05:58:39
Original commit files touched by this commit  3.2.0.1147
Revision:475085
yuri search for other commits by this committer
New port: math/lean: Theorem prover

Number of commits found: 7

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
python37Oct 19
py-pillowOct 15
mod_perl2Oct 09
xpdfOct 06
xpdf3Oct 06
xpdf4Oct 06
unboundOct 03
cactiOct 02
gitlab-ceOct 02
gitlab-ceOct 02
ruby24Oct 02
ruby25Oct 02
mongodb34Sep 30
mongodb34Sep 30
mongodb36Sep 30

4 vulnerabilities affecting 12 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-10-19 10:52:46


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 37695
Broken 75
Deprecated 99
Ignore 340
Forbidden 3
Restricted 156
No CDROM 73
Vulnerable 26
Expired 15
Set to expire 70
Interactive 0
new 24 hours 0
new 48 hours0
new 7 days18
new fortnight56
new month221

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.