How To Install PragmARC-devel on Fedora 36

In this tutorial we learn how to install PragmARC-devel in Fedora 36. PragmARC-devel is Development files for PragmARC

Introduction

In this tutorial we learn how to install PragmARC-devel on Fedora 36.

What is PragmARC-devel

The PragmAda Reusable Components (PragmARCs) is a library of containers, algorithms and utility components for Ada, ranging from the basic-but-essential to the high-level. The PragmARC-devel package contains source code and linking information for developing applications that use PragmARC.

We can use yum or dnf to install PragmARC-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install PragmARC-devel.

Install PragmARC-devel on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install PragmARC-devel using dnf by running the following command:

sudo dnf -y install PragmARC-devel

Install PragmARC-devel on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install PragmARC-devel using yum by running the following command:

sudo yum -y install PragmARC-devel

How To Uninstall PragmARC-devel on Fedora 36

To uninstall only the PragmARC-devel package we can use the following command:

sudo dnf remove PragmARC-devel

PragmARC-devel Package Contents on Fedora 36

/usr/include/pragmarc
/usr/include/pragmarc/pragmarc-ansi_tty_control.ads
/usr/include/pragmarc/pragmarc-assertion_handler.adb
/usr/include/pragmarc/pragmarc-assertion_handler.ads
/usr/include/pragmarc/pragmarc-assignment.adb
/usr/include/pragmarc/pragmarc-assignment.ads
/usr/include/pragmarc/pragmarc-bag_unbounded.adb
/usr/include/pragmarc/pragmarc-bag_unbounded.ads
/usr/include/pragmarc/pragmarc-bag_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-bag_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-binary_searcher.adb
/usr/include/pragmarc/pragmarc-binary_searcher.ads
/usr/include/pragmarc/pragmarc-binary_semaphore_handler.ads
/usr/include/pragmarc/pragmarc-character_regular_expression_matcher.ads
/usr/include/pragmarc/pragmarc-complex.adb
/usr/include/pragmarc/pragmarc-complex.ads
/usr/include/pragmarc/pragmarc-date_handler.ads
/usr/include/pragmarc/pragmarc-deck_handler.adb
/usr/include/pragmarc/pragmarc-deck_handler.ads
/usr/include/pragmarc/pragmarc-forwarder.adb
/usr/include/pragmarc/pragmarc-forwarder.ads
/usr/include/pragmarc/pragmarc-genetic_algorithm.adb
/usr/include/pragmarc/pragmarc-genetic_algorithm.ads
/usr/include/pragmarc/pragmarc-get_line.ads
/usr/include/pragmarc/pragmarc-hash_fast_variable_length.adb
/usr/include/pragmarc/pragmarc-hash_fast_variable_length.ads
/usr/include/pragmarc/pragmarc-images-image.ads
/usr/include/pragmarc/pragmarc-images.adb
/usr/include/pragmarc/pragmarc-images.ads
/usr/include/pragmarc/pragmarc-least_squares_fitting.adb
/usr/include/pragmarc/pragmarc-least_squares_fitting.ads
/usr/include/pragmarc/pragmarc-linear_equation_solver.adb
/usr/include/pragmarc/pragmarc-linear_equation_solver.ads
/usr/include/pragmarc/pragmarc-list_bounded.adb
/usr/include/pragmarc/pragmarc-list_bounded.ads
/usr/include/pragmarc/pragmarc-list_bounded_unprotected.adb
/usr/include/pragmarc/pragmarc-list_bounded_unprotected.ads
/usr/include/pragmarc/pragmarc-list_unbounded.adb
/usr/include/pragmarc/pragmarc-list_unbounded.ads
/usr/include/pragmarc/pragmarc-list_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-list_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-math-functions.adb
/usr/include/pragmarc/pragmarc-math-functions.ads
/usr/include/pragmarc/pragmarc-math-integer_functions.ads
/usr/include/pragmarc/pragmarc-math.ads
/usr/include/pragmarc/pragmarc-matrix_math.adb
/usr/include/pragmarc/pragmarc-matrix_math.ads
/usr/include/pragmarc/pragmarc-menu_handler.adb
/usr/include/pragmarc/pragmarc-menu_handler.ads
/usr/include/pragmarc/pragmarc-min_max.adb
/usr/include/pragmarc/pragmarc-min_max.ads
/usr/include/pragmarc/pragmarc-mixed_case.ads
/usr/include/pragmarc/pragmarc-monitor_handler.adb
/usr/include/pragmarc/pragmarc-monitor_handler.ads
/usr/include/pragmarc/pragmarc-postfix_calculator.ads
/usr/include/pragmarc/pragmarc-protected_option.ads
/usr/include/pragmarc/pragmarc-queue_bounded.adb
/usr/include/pragmarc/pragmarc-queue_bounded.ads
/usr/include/pragmarc/pragmarc-queue_bounded_blocking.adb
/usr/include/pragmarc/pragmarc-queue_bounded_blocking.ads
/usr/include/pragmarc/pragmarc-queue_bounded_unprotected.adb
/usr/include/pragmarc/pragmarc-queue_bounded_unprotected.ads
/usr/include/pragmarc/pragmarc-queue_unbounded.adb
/usr/include/pragmarc/pragmarc-queue_unbounded.ads
/usr/include/pragmarc/pragmarc-queue_unbounded_blocking.adb
/usr/include/pragmarc/pragmarc-queue_unbounded_blocking.ads
/usr/include/pragmarc/pragmarc-queue_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-queue_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-quick_searcher.ads
/usr/include/pragmarc/pragmarc-reflection.ads
/usr/include/pragmarc/pragmarc-regular_expression_matcher.adb
/usr/include/pragmarc/pragmarc-regular_expression_matcher.ads
/usr/include/pragmarc/pragmarc-rem_nn_wrapper.adb
/usr/include/pragmarc/pragmarc-rem_nn_wrapper.ads
/usr/include/pragmarc/pragmarc-safe_pointers.adb
/usr/include/pragmarc/pragmarc-safe_pointers.ads
/usr/include/pragmarc/pragmarc-safe_semaphore_handler.ads
/usr/include/pragmarc/pragmarc-safe_suspension_objects.ads
/usr/include/pragmarc/pragmarc-set_discrete.adb
/usr/include/pragmarc/pragmarc-set_discrete.ads
/usr/include/pragmarc/pragmarc-skip_list_unbounded-put.adb
/usr/include/pragmarc/pragmarc-skip_list_unbounded-put.ads
/usr/include/pragmarc/pragmarc-skip_list_unbounded.adb
/usr/include/pragmarc/pragmarc-skip_list_unbounded.ads
/usr/include/pragmarc/pragmarc-sort_heap.adb
/usr/include/pragmarc/pragmarc-sort_heap.ads
/usr/include/pragmarc/pragmarc-sort_insertion.adb
/usr/include/pragmarc/pragmarc-sort_insertion.ads
/usr/include/pragmarc/pragmarc-sort_quick_in_place.adb
/usr/include/pragmarc/pragmarc-sort_quick_in_place.ads
/usr/include/pragmarc/pragmarc-sort_radix.adb
/usr/include/pragmarc/pragmarc-sort_radix.ads
/usr/include/pragmarc/pragmarc-stack_unbounded.adb
/usr/include/pragmarc/pragmarc-stack_unbounded.ads
/usr/include/pragmarc/pragmarc-stack_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-stack_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-three_way.adb
/usr/include/pragmarc/pragmarc-three_way.ads
/usr/include/pragmarc/pragmarc-transporter_handler.adb
/usr/include/pragmarc/pragmarc-transporter_handler.ads
/usr/include/pragmarc/pragmarc-universal_random.adb
/usr/include/pragmarc/pragmarc-universal_random.ads
/usr/include/pragmarc/pragmarc-us_card.ads
/usr/include/pragmarc/pragmarc-us_deck.ads
/usr/include/pragmarc/pragmarc-word_input.adb
/usr/include/pragmarc/pragmarc-word_input.ads
/usr/include/pragmarc/pragmarc-wrapping.adb
/usr/include/pragmarc/pragmarc-wrapping.ads
/usr/include/pragmarc/pragmarc.ads
/usr/lib64/libpragmarc.so
/usr/lib64/pragmarc
/usr/lib64/pragmarc/pragmarc-ansi_tty_control.ali
/usr/lib64/pragmarc/pragmarc-assertion_handler.ali
/usr/lib64/pragmarc/pragmarc-assignment.ali
/usr/lib64/pragmarc/pragmarc-bag_unbounded.ali
/usr/lib64/pragmarc/pragmarc-bag_unbounded_unprotected.ali
/usr/lib64/pragmarc/pragmarc-binary_searcher.ali
/usr/lib64/pragmarc/pragmarc-binary_semaphore_handler.ali
/usr/lib64/pragmarc/pragmarc-character_regular_expression_matcher.ali
/usr/lib64/pragmarc/pragmarc-complex.ali
/usr/lib64/pragmarc/pragmarc-date_handler.ali
/usr/lib64/pragmarc/pragmarc-deck_handler.ali
/usr/lib64/pragmarc/pragmarc-forwarder.ali
/usr/lib64/pragmarc/pragmarc-genetic_algorithm.ali
/usr/lib64/pragmarc/pragmarc-get_line.ali
/usr/lib64/pragmarc/pragmarc-hash_fast_variable_length.ali
/usr/lib64/pragmarc/pragmarc-images-image.ali
/usr/lib64/pragmarc/pragmarc-images.ali
/usr/lib64/pragmarc/pragmarc-least_squares_fitting.ali
/usr/lib64/pragmarc/pragmarc-linear_equation_solver.ali
/usr/lib64/pragmarc/pragmarc-list_bounded.ali
/usr/lib64/pragmarc/pragmarc-list_bounded_unprotected.ali
/usr/lib64/pragmarc/pragmarc-list_unbounded.ali
/usr/lib64/pragmarc/pragmarc-list_unbounded_unprotected.ali
/usr/lib64/pragmarc/pragmarc-math-functions.ali
/usr/lib64/pragmarc/pragmarc-math-integer_functions.ali
/usr/lib64/pragmarc/pragmarc-math.ali
/usr/lib64/pragmarc/pragmarc-matrix_math.ali
/usr/lib64/pragmarc/pragmarc-menu_handler.ali
/usr/lib64/pragmarc/pragmarc-min_max.ali
/usr/lib64/pragmarc/pragmarc-mixed_case.ali
/usr/lib64/pragmarc/pragmarc-monitor_handler.ali
/usr/lib64/pragmarc/pragmarc-postfix_calculator.ali
/usr/lib64/pragmarc/pragmarc-protected_option.ali
/usr/lib64/pragmarc/pragmarc-queue_bounded.ali
/usr/lib64/pragmarc/pragmarc-queue_bounded_blocking.ali
/usr/lib64/pragmarc/pragmarc-queue_bounded_unprotected.ali
/usr/lib64/pragmarc/pragmarc-queue_unbounded.ali
/usr/lib64/pragmarc/pragmarc-queue_unbounded_blocking.ali
/usr/lib64/pragmarc/pragmarc-queue_unbounded_unprotected.ali
/usr/lib64/pragmarc/pragmarc-quick_searcher.ali
/usr/lib64/pragmarc/pragmarc-reflection.ali
/usr/lib64/pragmarc/pragmarc-regular_expression_matcher.ali
/usr/lib64/pragmarc/pragmarc-rem_nn_wrapper.ali
/usr/lib64/pragmarc/pragmarc-safe_pointers.ali
/usr/lib64/pragmarc/pragmarc-safe_semaphore_handler.ali
/usr/lib64/pragmarc/pragmarc-safe_suspension_objects.ali
/usr/lib64/pragmarc/pragmarc-set_discrete.ali
/usr/lib64/pragmarc/pragmarc-skip_list_unbounded-put.ali
/usr/lib64/pragmarc/pragmarc-skip_list_unbounded.ali
/usr/lib64/pragmarc/pragmarc-sort_heap.ali
/usr/lib64/pragmarc/pragmarc-sort_insertion.ali
/usr/lib64/pragmarc/pragmarc-sort_quick_in_place.ali
/usr/lib64/pragmarc/pragmarc-sort_radix.ali
/usr/lib64/pragmarc/pragmarc-stack_unbounded.ali
/usr/lib64/pragmarc/pragmarc-stack_unbounded_unprotected.ali
/usr/lib64/pragmarc/pragmarc-three_way.ali
/usr/lib64/pragmarc/pragmarc-transporter_handler.ali
/usr/lib64/pragmarc/pragmarc-universal_random.ali
/usr/lib64/pragmarc/pragmarc-us_card.ali
/usr/lib64/pragmarc/pragmarc-us_deck.ali
/usr/lib64/pragmarc/pragmarc-word_input.ali
/usr/lib64/pragmarc/pragmarc-wrapping.ali
/usr/lib64/pragmarc/pragmarc.ali
/usr/share/doc/PragmARC-devel
/usr/share/doc/PragmARC-devel/Test
/usr/share/doc/PragmARC-devel/Test/assertst.adb
/usr/share/doc/PragmARC-devel/Test/bag_test.adb
/usr/share/doc/PragmARC-devel/Test/bag_test_help.adb
/usr/share/doc/PragmARC-devel/Test/bag_test_help.ads
/usr/share/doc/PragmARC-devel/Test/bs_test.adb
/usr/share/doc/PragmARC-devel/Test/calc.adb
/usr/share/doc/PragmARC-devel/Test/cmplxtst.adb
/usr/share/doc/PragmARC-devel/Test/datetest.adb
/usr/share/doc/PragmARC-devel/Test/devil.adb
/usr/share/doc/PragmARC-devel/Test/devil2.adb
/usr/share/doc/PragmARC-devel/Test/df_test.adb
/usr/share/doc/PragmARC-devel/Test/evolve_pi.adb
/usr/share/doc/PragmARC-devel/Test/gcd_test.adb
/usr/share/doc/PragmARC-devel/Test/hashtest.adb
/usr/share/doc/PragmARC-devel/Test/heap_test.adb
/usr/share/doc/PragmARC-devel/Test/lasgn.adb
/usr/share/doc/PragmARC-devel/Test/lasgn_help.ads
/usr/share/doc/PragmARC-devel/Test/lb_test.adb
/usr/share/doc/PragmARC-devel/Test/lb_test_help.adb
/usr/share/doc/PragmARC-devel/Test/lb_test_help.ads
/usr/share/doc/PragmARC-devel/Test/lin_test.adb
/usr/share/doc/PragmARC-devel/Test/line_fit_test.adb
/usr/share/doc/PragmARC-devel/Test/line_fit_test_win_io.adb
/usr/share/doc/PragmARC-devel/Test/lsort.adb
/usr/share/doc/PragmARC-devel/Test/lsorthlp.adb
/usr/share/doc/PragmARC-devel/Test/lsorthlp.ads
/usr/share/doc/PragmARC-devel/Test/mat_test.adb
/usr/share/doc/PragmARC-devel/Test/mathtest.adb
/usr/share/doc/PragmARC-devel/Test/mt.adb
/usr/share/doc/PragmARC-devel/Test/q_test.adb
/usr/share/doc/PragmARC-devel/Test/q_test_hlp.ads
/usr/share/doc/PragmARC-devel/Test/qb_test.adb
/usr/share/doc/PragmARC-devel/Test/qb_test_hlp.ads
/usr/share/doc/PragmARC-devel/Test/qs_test.adb
/usr/share/doc/PragmARC-devel/Test/radix_test.adb
/usr/share/doc/PragmARC-devel/Test/randtest.adb
/usr/share/doc/PragmARC-devel/Test/reflect_lib_level.ads
/usr/share/doc/PragmARC-devel/Test/reflect_test.adb
/usr/share/doc/PragmARC-devel/Test/reflect_tester.adb
/usr/share/doc/PragmARC-devel/Test/reflect_tester.ads
/usr/share/doc/PragmARC-devel/Test/set_test.adb
/usr/share/doc/PragmARC-devel/Test/skip_help.ads
/usr/share/doc/PragmARC-devel/Test/skiptest.adb
/usr/share/doc/PragmARC-devel/Test/sp_test.adb
/usr/share/doc/PragmARC-devel/Test/sp_test_help.ads
/usr/share/doc/PragmARC-devel/Test/strm_sub.adb
/usr/share/doc/PragmARC-devel/Test/test_images.adb
/usr/share/doc/PragmARC-devel/Test/wrapping_test.adb
/usr/share/doc/PragmARC-devel/Test/xor_problem.adb
/usr/share/doc/PragmARC-devel/arc_list.txt
/usr/share/doc/PragmARC-devel/design.txt
/usr/share/doc/PragmARC-devel/readme.txt
/usr/share/gpr/pragmarc.gpr

References

Summary

In this tutorial we learn how to install PragmARC-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).


title: “How To Install PragmARC-devel on Fedora 36” linkTitle: “PragmARC-devel” type: “docs” description: “In this tutorial we learn how to install PragmARC-devel in Fedora 36. PragmARC-devel is Development files for PragmARC” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/PragmARC-devel-featured.png

Introduction

In this tutorial we learn how to install PragmARC-devel on Fedora 36.

What is PragmARC-devel

The PragmAda Reusable Components (PragmARCs) is a library of containers, algorithms and utility components for Ada, ranging from the basic-but-essential to the high-level. The PragmARC-devel package contains source code and linking information for developing applications that use PragmARC.

We can use yum or dnf to install PragmARC-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install PragmARC-devel.

Install PragmARC-devel on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install PragmARC-devel using dnf by running the following command:

sudo dnf -y install PragmARC-devel

Install PragmARC-devel on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install PragmARC-devel using yum by running the following command:

sudo yum -y install PragmARC-devel

How To Uninstall PragmARC-devel on Fedora 36

To uninstall only the PragmARC-devel package we can use the following command:

sudo dnf remove PragmARC-devel

PragmARC-devel Package Contents on Fedora 36

/usr/include/pragmarc
/usr/include/pragmarc/pragmarc-ansi_tty_control.ads
/usr/include/pragmarc/pragmarc-assertion_handler.adb
/usr/include/pragmarc/pragmarc-assertion_handler.ads
/usr/include/pragmarc/pragmarc-assignment.adb
/usr/include/pragmarc/pragmarc-assignment.ads
/usr/include/pragmarc/pragmarc-bag_unbounded.adb
/usr/include/pragmarc/pragmarc-bag_unbounded.ads
/usr/include/pragmarc/pragmarc-bag_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-bag_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-binary_searcher.adb
/usr/include/pragmarc/pragmarc-binary_searcher.ads
/usr/include/pragmarc/pragmarc-binary_semaphore_handler.ads
/usr/include/pragmarc/pragmarc-character_regular_expression_matcher.ads
/usr/include/pragmarc/pragmarc-complex.adb
/usr/include/pragmarc/pragmarc-complex.ads
/usr/include/pragmarc/pragmarc-date_handler.ads
/usr/include/pragmarc/pragmarc-deck_handler.adb
/usr/include/pragmarc/pragmarc-deck_handler.ads
/usr/include/pragmarc/pragmarc-forwarder.adb
/usr/include/pragmarc/pragmarc-forwarder.ads
/usr/include/pragmarc/pragmarc-genetic_algorithm.adb
/usr/include/pragmarc/pragmarc-genetic_algorithm.ads
/usr/include/pragmarc/pragmarc-get_line.ads
/usr/include/pragmarc/pragmarc-hash_fast_variable_length.adb
/usr/include/pragmarc/pragmarc-hash_fast_variable_length.ads
/usr/include/pragmarc/pragmarc-images-image.ads
/usr/include/pragmarc/pragmarc-images.adb
/usr/include/pragmarc/pragmarc-images.ads
/usr/include/pragmarc/pragmarc-least_squares_fitting.adb
/usr/include/pragmarc/pragmarc-least_squares_fitting.ads
/usr/include/pragmarc/pragmarc-linear_equation_solver.adb
/usr/include/pragmarc/pragmarc-linear_equation_solver.ads
/usr/include/pragmarc/pragmarc-list_bounded.adb
/usr/include/pragmarc/pragmarc-list_bounded.ads
/usr/include/pragmarc/pragmarc-list_bounded_unprotected.adb
/usr/include/pragmarc/pragmarc-list_bounded_unprotected.ads
/usr/include/pragmarc/pragmarc-list_unbounded.adb
/usr/include/pragmarc/pragmarc-list_unbounded.ads
/usr/include/pragmarc/pragmarc-list_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-list_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-math-functions.adb
/usr/include/pragmarc/pragmarc-math-functions.ads
/usr/include/pragmarc/pragmarc-math-integer_functions.ads
/usr/include/pragmarc/pragmarc-math.ads
/usr/include/pragmarc/pragmarc-matrix_math.adb
/usr/include/pragmarc/pragmarc-matrix_math.ads
/usr/include/pragmarc/pragmarc-menu_handler.adb
/usr/include/pragmarc/pragmarc-menu_handler.ads
/usr/include/pragmarc/pragmarc-min_max.adb
/usr/include/pragmarc/pragmarc-min_max.ads
/usr/include/pragmarc/pragmarc-mixed_case.ads
/usr/include/pragmarc/pragmarc-monitor_handler.adb
/usr/include/pragmarc/pragmarc-monitor_handler.ads
/usr/include/pragmarc/pragmarc-postfix_calculator.ads
/usr/include/pragmarc/pragmarc-protected_option.ads
/usr/include/pragmarc/pragmarc-queue_bounded.adb
/usr/include/pragmarc/pragmarc-queue_bounded.ads
/usr/include/pragmarc/pragmarc-queue_bounded_blocking.adb
/usr/include/pragmarc/pragmarc-queue_bounded_blocking.ads
/usr/include/pragmarc/pragmarc-queue_bounded_unprotected.adb
/usr/include/pragmarc/pragmarc-queue_bounded_unprotected.ads
/usr/include/pragmarc/pragmarc-queue_unbounded.adb
/usr/include/pragmarc/pragmarc-queue_unbounded.ads
/usr/include/pragmarc/pragmarc-queue_unbounded_blocking.adb
/usr/include/pragmarc/pragmarc-queue_unbounded_blocking.ads
/usr/include/pragmarc/pragmarc-queue_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-queue_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-quick_searcher.ads
/usr/include/pragmarc/pragmarc-reflection.ads
/usr/include/pragmarc/pragmarc-regular_expression_matcher.adb
/usr/include/pragmarc/pragmarc-regular_expression_matcher.ads
/usr/include/pragmarc/pragmarc-rem_nn_wrapper.adb
/usr/include/pragmarc/pragmarc-rem_nn_wrapper.ads
/usr/include/pragmarc/pragmarc-safe_pointers.adb
/usr/include/pragmarc/pragmarc-safe_pointers.ads
/usr/include/pragmarc/pragmarc-safe_semaphore_handler.ads
/usr/include/pragmarc/pragmarc-safe_suspension_objects.ads
/usr/include/pragmarc/pragmarc-set_discrete.adb
/usr/include/pragmarc/pragmarc-set_discrete.ads
/usr/include/pragmarc/pragmarc-skip_list_unbounded-put.adb
/usr/include/pragmarc/pragmarc-skip_list_unbounded-put.ads
/usr/include/pragmarc/pragmarc-skip_list_unbounded.adb
/usr/include/pragmarc/pragmarc-skip_list_unbounded.ads
/usr/include/pragmarc/pragmarc-sort_heap.adb
/usr/include/pragmarc/pragmarc-sort_heap.ads
/usr/include/pragmarc/pragmarc-sort_insertion.adb
/usr/include/pragmarc/pragmarc-sort_insertion.ads
/usr/include/pragmarc/pragmarc-sort_quick_in_place.adb
/usr/include/pragmarc/pragmarc-sort_quick_in_place.ads
/usr/include/pragmarc/pragmarc-sort_radix.adb
/usr/include/pragmarc/pragmarc-sort_radix.ads
/usr/include/pragmarc/pragmarc-stack_unbounded.adb
/usr/include/pragmarc/pragmarc-stack_unbounded.ads
/usr/include/pragmarc/pragmarc-stack_unbounded_unprotected.adb
/usr/include/pragmarc/pragmarc-stack_unbounded_unprotected.ads
/usr/include/pragmarc/pragmarc-three_way.adb
/usr/include/pragmarc/pragmarc-three_way.ads
/usr/include/pragmarc/pragmarc-transporter_handler.adb
/usr/include/pragmarc/pragmarc-transporter_handler.ads
/usr/include/pragmarc/pragmarc-universal_random.adb
/usr/include/pragmarc/pragmarc-universal_random.ads
/usr/include/pragmarc/pragmarc-us_card.ads
/usr/include/pragmarc/pragmarc-us_deck.ads
/usr/include/pragmarc/pragmarc-word_input.adb
/usr/include/pragmarc/pragmarc-word_input.ads
/usr/include/pragmarc/pragmarc-wrapping.adb
/usr/include/pragmarc/pragmarc-wrapping.ads
/usr/include/pragmarc/pragmarc.ads
/usr/lib/libpragmarc.so
/usr/lib/pragmarc
/usr/lib/pragmarc/pragmarc-ansi_tty_control.ali
/usr/lib/pragmarc/pragmarc-assertion_handler.ali
/usr/lib/pragmarc/pragmarc-assignment.ali
/usr/lib/pragmarc/pragmarc-bag_unbounded.ali
/usr/lib/pragmarc/pragmarc-bag_unbounded_unprotected.ali
/usr/lib/pragmarc/pragmarc-binary_searcher.ali
/usr/lib/pragmarc/pragmarc-binary_semaphore_handler.ali
/usr/lib/pragmarc/pragmarc-character_regular_expression_matcher.ali
/usr/lib/pragmarc/pragmarc-complex.ali
/usr/lib/pragmarc/pragmarc-date_handler.ali
/usr/lib/pragmarc/pragmarc-deck_handler.ali
/usr/lib/pragmarc/pragmarc-forwarder.ali
/usr/lib/pragmarc/pragmarc-genetic_algorithm.ali
/usr/lib/pragmarc/pragmarc-get_line.ali
/usr/lib/pragmarc/pragmarc-hash_fast_variable_length.ali
/usr/lib/pragmarc/pragmarc-images-image.ali
/usr/lib/pragmarc/pragmarc-images.ali
/usr/lib/pragmarc/pragmarc-least_squares_fitting.ali
/usr/lib/pragmarc/pragmarc-linear_equation_solver.ali
/usr/lib/pragmarc/pragmarc-list_bounded.ali
/usr/lib/pragmarc/pragmarc-list_bounded_unprotected.ali
/usr/lib/pragmarc/pragmarc-list_unbounded.ali
/usr/lib/pragmarc/pragmarc-list_unbounded_unprotected.ali
/usr/lib/pragmarc/pragmarc-math-functions.ali
/usr/lib/pragmarc/pragmarc-math-integer_functions.ali
/usr/lib/pragmarc/pragmarc-math.ali
/usr/lib/pragmarc/pragmarc-matrix_math.ali
/usr/lib/pragmarc/pragmarc-menu_handler.ali
/usr/lib/pragmarc/pragmarc-min_max.ali
/usr/lib/pragmarc/pragmarc-mixed_case.ali
/usr/lib/pragmarc/pragmarc-monitor_handler.ali
/usr/lib/pragmarc/pragmarc-postfix_calculator.ali
/usr/lib/pragmarc/pragmarc-protected_option.ali
/usr/lib/pragmarc/pragmarc-queue_bounded.ali
/usr/lib/pragmarc/pragmarc-queue_bounded_blocking.ali
/usr/lib/pragmarc/pragmarc-queue_bounded_unprotected.ali
/usr/lib/pragmarc/pragmarc-queue_unbounded.ali
/usr/lib/pragmarc/pragmarc-queue_unbounded_blocking.ali
/usr/lib/pragmarc/pragmarc-queue_unbounded_unprotected.ali
/usr/lib/pragmarc/pragmarc-quick_searcher.ali
/usr/lib/pragmarc/pragmarc-reflection.ali
/usr/lib/pragmarc/pragmarc-regular_expression_matcher.ali
/usr/lib/pragmarc/pragmarc-rem_nn_wrapper.ali
/usr/lib/pragmarc/pragmarc-safe_pointers.ali
/usr/lib/pragmarc/pragmarc-safe_semaphore_handler.ali
/usr/lib/pragmarc/pragmarc-safe_suspension_objects.ali
/usr/lib/pragmarc/pragmarc-set_discrete.ali
/usr/lib/pragmarc/pragmarc-skip_list_unbounded-put.ali
/usr/lib/pragmarc/pragmarc-skip_list_unbounded.ali
/usr/lib/pragmarc/pragmarc-sort_heap.ali
/usr/lib/pragmarc/pragmarc-sort_insertion.ali
/usr/lib/pragmarc/pragmarc-sort_quick_in_place.ali
/usr/lib/pragmarc/pragmarc-sort_radix.ali
/usr/lib/pragmarc/pragmarc-stack_unbounded.ali
/usr/lib/pragmarc/pragmarc-stack_unbounded_unprotected.ali
/usr/lib/pragmarc/pragmarc-three_way.ali
/usr/lib/pragmarc/pragmarc-transporter_handler.ali
/usr/lib/pragmarc/pragmarc-universal_random.ali
/usr/lib/pragmarc/pragmarc-us_card.ali
/usr/lib/pragmarc/pragmarc-us_deck.ali
/usr/lib/pragmarc/pragmarc-word_input.ali
/usr/lib/pragmarc/pragmarc-wrapping.ali
/usr/lib/pragmarc/pragmarc.ali
/usr/share/doc/PragmARC-devel
/usr/share/doc/PragmARC-devel/Test
/usr/share/doc/PragmARC-devel/Test/assertst.adb
/usr/share/doc/PragmARC-devel/Test/bag_test.adb
/usr/share/doc/PragmARC-devel/Test/bag_test_help.adb
/usr/share/doc/PragmARC-devel/Test/bag_test_help.ads
/usr/share/doc/PragmARC-devel/Test/bs_test.adb
/usr/share/doc/PragmARC-devel/Test/calc.adb
/usr/share/doc/PragmARC-devel/Test/cmplxtst.adb
/usr/share/doc/PragmARC-devel/Test/datetest.adb
/usr/share/doc/PragmARC-devel/Test/devil.adb
/usr/share/doc/PragmARC-devel/Test/devil2.adb
/usr/share/doc/PragmARC-devel/Test/df_test.adb
/usr/share/doc/PragmARC-devel/Test/evolve_pi.adb
/usr/share/doc/PragmARC-devel/Test/gcd_test.adb
/usr/share/doc/PragmARC-devel/Test/hashtest.adb
/usr/share/doc/PragmARC-devel/Test/heap_test.adb
/usr/share/doc/PragmARC-devel/Test/lasgn.adb
/usr/share/doc/PragmARC-devel/Test/lasgn_help.ads
/usr/share/doc/PragmARC-devel/Test/lb_test.adb
/usr/share/doc/PragmARC-devel/Test/lb_test_help.adb
/usr/share/doc/PragmARC-devel/Test/lb_test_help.ads
/usr/share/doc/PragmARC-devel/Test/lin_test.adb
/usr/share/doc/PragmARC-devel/Test/line_fit_test.adb
/usr/share/doc/PragmARC-devel/Test/line_fit_test_win_io.adb
/usr/share/doc/PragmARC-devel/Test/lsort.adb
/usr/share/doc/PragmARC-devel/Test/lsorthlp.adb
/usr/share/doc/PragmARC-devel/Test/lsorthlp.ads
/usr/share/doc/PragmARC-devel/Test/mat_test.adb
/usr/share/doc/PragmARC-devel/Test/mathtest.adb
/usr/share/doc/PragmARC-devel/Test/mt.adb
/usr/share/doc/PragmARC-devel/Test/q_test.adb
/usr/share/doc/PragmARC-devel/Test/q_test_hlp.ads
/usr/share/doc/PragmARC-devel/Test/qb_test.adb
/usr/share/doc/PragmARC-devel/Test/qb_test_hlp.ads
/usr/share/doc/PragmARC-devel/Test/qs_test.adb
/usr/share/doc/PragmARC-devel/Test/radix_test.adb
/usr/share/doc/PragmARC-devel/Test/randtest.adb
/usr/share/doc/PragmARC-devel/Test/reflect_lib_level.ads
/usr/share/doc/PragmARC-devel/Test/reflect_test.adb
/usr/share/doc/PragmARC-devel/Test/reflect_tester.adb
/usr/share/doc/PragmARC-devel/Test/reflect_tester.ads
/usr/share/doc/PragmARC-devel/Test/set_test.adb
/usr/share/doc/PragmARC-devel/Test/skip_help.ads
/usr/share/doc/PragmARC-devel/Test/skiptest.adb
/usr/share/doc/PragmARC-devel/Test/sp_test.adb
/usr/share/doc/PragmARC-devel/Test/sp_test_help.ads
/usr/share/doc/PragmARC-devel/Test/strm_sub.adb
/usr/share/doc/PragmARC-devel/Test/test_images.adb
/usr/share/doc/PragmARC-devel/Test/wrapping_test.adb
/usr/share/doc/PragmARC-devel/Test/xor_problem.adb
/usr/share/doc/PragmARC-devel/arc_list.txt
/usr/share/doc/PragmARC-devel/design.txt
/usr/share/doc/PragmARC-devel/readme.txt
/usr/share/gpr/pragmarc.gpr

References

Summary

In this tutorial we learn how to install PragmARC-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).